Inference with recursive rules (1980)

by S C Shapiro, D P McKay
Venue:In Proceedings of the First Annual National Conference on Arti Intelligence