Douglas B. Moran Quantifier Scoping in the SRI Core Language Engine. 33-40 1988 ACL db/conf/acl/acl1988.html#Moran88