%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:15 +0100 GMT
%    
% Selection : Reference #636
%




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