Inference of inheritance relationships from prolog programs: A system developed with prologIII

Solnon, C., & Rueher, M. (1992). Inference of inheritance relationships from prolog programs: A system developed with prologIII. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 631 LNCS, pp. 489–490). Springer Verlag. https://doi.org/10.1007/3-540-55844-6_163