Equivalences of Pushdown Systems Are Hard.

Petr Jancar

Browse the full FOSSACS paper archive.