@inproceedings{tacas07paths,
 author = {Rajeev Alur and Pavol {\v C}ern{\'y} and Swarat Chaudhuri},
 title = {Model Checking on Trees with Path Equivalences},
 booktitle = {TACAS 2007},
 year = {2007},
 isbn = {},
 pages = {664--678},
 location = {Braga, Portugal},
 publisher = {Springer},
 }