"Stratified Context Unification Is in PSPACE."

Manfred Schmidt-Schauß (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics