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




@Article{Kerber_Kohlhase:1996_1,
      AUTHOR = {Kerber, Manfred and Kohlhase, Michael},
      TITLE = {A Tableau Calculus for Partial Functions},
      YEAR = {1996},
      JOURNAL = {Collegium logicum: Annals of the Kurt-Gödel-Society},
      VOLUME = {2},
      PAGES = {21-49}
}