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




@InProceedings{Blackburn_et_al:1995_2,
      AUTHOR = {Blackburn, Patrick and Meyer-Viol, Wilfried and de Rijke, Maarten},
      TITLE = {A Proof System for Finite Trees},
      YEAR = {1995},
      BOOKTITLE = {Computer Science Logic. 9th International Workshop (CSL '95)},
      NUMBER = {1092},
      PAGES = {86-105},
      EDITOR = {Kleine Büning, H.},
      SERIES = {Lecture Notes in Computer Science},
      ADDRESS = {Berlin},
      PUBLISHER = {Springer}
}