%
% 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 #86
%




@Article{Backofen_et_al:1995,
      AUTHOR = {Backofen, Rolf and Rogers, James and Shanker, Vijay K.},
      TITLE = {A First-Order Axiomatization of the Theory of Finite Trees},
      YEAR = {1995},
      JOURNAL = {Journal of Logic, Language and Information},
      VOLUME = {4},
      NUMBER = {1},
      PAGES = {5-39},
      URL = {ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/JOLLI95-trees.dvi.Z ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/JOLLI95-trees.entry ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/JOLLI95-trees.ps.Z},
      ANNOTE = {COLIURL : Backofen:1995:FOA.pdf Backofen:1995:FOA.ps Backofen:1995:FOA.dvi}
}