Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity Checking.

Knut Hinkelmann Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity Checking. 127-141 1995 Deductive Databases / Abduction in Deductive Databases db/conf/deductive/deductive95.html#Hinkelmann95