Using active connection graphs for reasoning with recursive rules (1981)

by D McKay, S Shapiro
Venue:in Proc. 7th Int. Joint Con$ Ar@cia1 Infell