"A Deductive Approach to Hypothetical Query Answering."

Fangqing Dong, Laks V. S. Lakshmanan (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics