A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints.

Ken Satoh Noboru Iwayama A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints. 24-44 1992 conf/elp/1992 ELP db/conf/elp/elp92.html#SatohI92 http://dx.doi.org/10.1007/3-540-56454-3_2