Publikation

Managing Structural Information by Higher-Order Colored Unification

Dieter Hutter, Michael Kohlhase

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

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

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