Embedding negation as failure into a model generation theorem prover - Inoue, Katsumi; Koshimura, Miyuki; Hasegawa, Ryuzo (Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report, 1991)