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

Pierre Pladeau, Andreas Podelski

Browse the full ICALP paper archive.