Stratified Context Unification Is NP-Complete.

Jordi Levy, Manfred Schmidt-Schau, Mateu Villaret

Browse the full CADE paper archive.