Dieter Hutter and
Michael Kohlhase. Managing Structural Information by Higher-Order Colored Unification. In Journal of Automated Reasoning, Vol. 25:123-164, 2000.
@Article{Hutter_Kohlhase:2000,
AUTHOR = {Hutter, Dieter and Kohlhase, Michael},
TITLE = {Managing Structural Information by Higher-Order Colored Unification},
YEAR = {2000},
JOURNAL = {Journal of Automated Reasoning},
VOLUME = {25},
PAGES = {123-164}
}
|
