See <a href="http:&#x2F;&#x2F;web.cs.ucla.edu&#x2F;~palsberg&#x2F;paper&#x2F;PereiraPalsberg08.pdf" rel="nofollow">http:&#x2F;&#x2F;web.cs.ucla.edu&#x2F;~palsberg&#x2F;paper&#x2F;PereiraPalsberg08.pdf</a>
Look at page 10.<p>(Fernando was once my intern, back in the day ;P)