Christine Solnon Michel Rueher Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII. 489-490 1992 conf/plilp/1992 PLILP db/conf/plilp/plilp92.html#SolnonR92 http://dx.doi.org/10.1007/3-540-55844-6_122