"Derivation and Safety of an Abstract Unification Algorithm for Groundness ..."

Michael Codish, Dennis Dams, Eyal Yardeni (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics