The Alexander method, a technique for the processing of recursive axioms in deductive databases,” New Generation Computing 4(3 (1986)

by R Rohmer, R Lescoeur, J-M Kersit