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