The Alexander method: A technique for the processing of recursive axioms in deductive databases (1986)

by J Rohmer, R Lescoeur, J M Kerisit
Venue:In New Generation Computing