On Sets of Terms: A Study of a Generalisation Relation and of Its Algorithmic Properties.

Colin de la Higuera Marie-Catherine Daniel-Vatonne On Sets of Terms: A Study of a Generalisation Relation and of Its Algorithmic Properties. 99-121 1996 25 Fundam. Inform. 2 db/journals/fuin/fuin25.html#HigueraD96