Embedding Negation as Failure into a Model Generation Theorem Prover.

Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa

Browse the full CADE paper archive.