One Context Unification Problems Solvable in Polynomial Time.

Adri Gascn, Ashish Tiwari, Manfred Schmidt-Schau

Browse the full LICS paper archive.