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. Fundamenta Informaticae, 25(2):99-121, 1996.

Abstract

Abstract is missing.