NivatP89'

BibTeX

@article{DBLP:journals/eatcs/NivatP89,
  author    = {Maurice Nivat and
               Andreas Podelski},
  title     = {Definite tree languages},
  journal   = {Bulletin of the EATCS},
  volume    = {38},
  year      = {1989},
  pages     = {186-190},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}