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}
}