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

by J Rohmer, R Lescceur, J-M Kerisit
Venue:New Generation Computing