Higher-Order Pushdown Trees Are Easy.

Teodor Knapik, Damian Niwinski, Pawel Urzyczyn

Browse the full FOSSACS paper archive.