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

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