On Reverse and General Definite Tree Languages (Extended Abstract).

Pierre Péladeau Andreas Podelski On Reverse and General Definite Tree Languages (Extended Abstract). 150-161 1992 conf/icalp/1992 ICALP db/conf/icalp/icalp92.html#PeladeauP92 http://dx.doi.org/10.1007/3-540-55719-9_71