%
% 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 : Author: Dieter_Hutter
%




@InProceedings{Hutter_Kohlhase:1997,
      AUTHOR = {Hutter, Dieter and Kohlhase, Michael},
      TITLE = {A Coloured Version of the Lambda-Calculus},
      YEAR = {1997},
      BOOKTITLE = {14th International Conference on Automated Deduction (CADE-14), July 13-17},
      NUMBER = {1249},
      PAGES = {291-305},
      EDITOR = {McCune, W.},
      SERIES = {Lecture Notes in Artificial Intelligence},
      ADDRESS = {James Cook University, Townsville, Australia},
      PUBLISHER = {Springer}
}

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