Verification and Correctness Issues for Nonmonotonic Knowledge Bases.

Grigoris Antoniou Verification and Correctness Issues for Nonmonotonic Knowledge Bases. 1995 conf/eurovav/1995 EUROVAV db/conf/eurovav/eurovav1995.html#Antoniou95 141-153