Context unification is in PSPACE (2014)

by A Jeż
Venue:41st International Colloquium on Automata, Languages, and Programming (ICALP