## 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, }