Publication

Managing Structural Information by Higher-Order Colored Unification

Dieter Hutter, Michael Kohlhase

In: Journal of Automated Reasoning (JAR) 25 2 Pages 123-164 Kluwer 2000.

http://www.dfki.de/vse/papers/hk00.ps.gz (gz, 56 KB )

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