Hiroshi Fujita, Ryuzo Hasegawa
A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm
ICLP, 1991.
@inproceedings{ICLP-1991-FujitaH,
author = "Hiroshi Fujita and Ryuzo Hasegawa",
booktitle = "{Proceedings of the Eighth International Conference on Logic Programming}",
isbn = "0-262-56058-5",
pages = "535--548",
publisher = "{MIT Press}",
title = "{A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm}",
year = 1991,
}