Tim Fernando Ambiguous propositions typed. 86-93 1999 conf/eacl/1999 EACL http://acl.ldc.upenn.edu/E/E99/E99-1012.pdf db/conf/eacl/eacl1999.html#Fernando99