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