Publikation

Guiding equational proofs by attribute functions

Jürgen Cleve, Dieter Hutter

Interner Bericht 1993.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence