"SEAVE: A Mechanism for Verifying User Presuppositions in Query Systems."

Amihai Motro (1986)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics