Inference with recursive rules (1980)

by S C Shapiro, D P McKay
Venue:In Proceedings of the First Annuui National Conference on Artificial Intelligence, Morgan Kanfmamt