%0 Journal Article %1 journals/jar/HutterK00 %A Hutter, Dieter %A Kohlhase, Michael %D 2000 %J J. Autom. Reasoning %K dblp %N 2 %P 123-164 %T Managing Structural Information by Higher-Order Colored Unification. %U http://dblp.uni-trier.de/db/journals/jar/jar25.html#HutterK00 %V 25

@article{journals/jar/HutterK00, added-at = {2018-11-14T00:00:00.000+0100}, author = {Hutter, Dieter and Kohlhase, Michael}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fb6cc32d3226e48ed47aa5ea8c4a24eb/dblp}, ee = {https://www.wikidata.org/entity/Q57389430}, interhash = {1bffa704739803c38c696205d4dfc991}, intrahash = {fb6cc32d3226e48ed47aa5ea8c4a24eb}, journal = {J. Autom. Reasoning}, keywords = {dblp}, number = 2, pages = {123-164}, timestamp = {2019-09-27T11:37:04.000+0200}, title = {Managing Structural Information by Higher-Order Colored Unification.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar25.html#HutterK00}, volume = 25, year = 2000 }