Robert E. Mercer Solving some persistent presupposition problems. 420-425 1988 COLING db/conf/coling/coling1988-2.html#Mercer88