"Embedding Negation as Failure into a Model Generation Theorem Prover."

Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics