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. http://www.dfki.de/vse/papers/hk00.ps.gz (gz, 56 KB ) BibTeX Export Managing Structural Information by Higher-Order Colored Unification@article{pub1561, author = { Hutter, Dieter and Kohlhase, Michael }, title = {Managing Structural Information by Higher-Order Colored Unification}, year = {2000}, volume = {25}, number = {2}, pages = {123--164}, journal = {Journal of Automated Reasoning (JAR)}, publisher = {Kluwer} }