Skip to main content Skip to main navigation

Publikation

Managing Structural Information by Higher-Order Colored Unification

Dieter Hutter; Michael Kohlhase
In: Journal of Automated Reasoning (JAR), Vol. 25, No. 2, Pages 123-164, Kluwer, 2000.