Two-Restricted One Context Unification is in Polynomial Time.

Adri Gascn, Manfred Schmidt-Schau, Ashish Tiwari

Browse the full CSL paper archive.