Deduction Trees and the View Update Problem in Indefinite Deductive Databases.

C. A. Johnson Deduction Trees and the View Update Problem in Indefinite Deductive Databases. 31-85 1997 19 J. Autom. Reasoning 1 db/journals/jar/jar19.html#Johnson97