A model generation theorem prover in KL1 using a rami algorithm (1991)

by Hiroshi Fujita, Ryuzo Hasegawa
Venue:Proceedings 8th International Conference on Logic Programming, Paris/France