@inproceedings{conflparReussS10,
  author = {Andreas Reu\{ss} and Helmut Seidl},
  title = {Bottom-up {T}ree {A}utomata with {T}erm {C}onstraints},
  booktitle = {LPAR-17},
  editor = {Christian G. Ferm\"uller and Andrei Voronkov},
  year = 2010,
  pages = {581-593},
  series = {LNCS},
  volume = {6397},
  publisher = {Springer},
}