"One Context Unification Problems Solvable in Polynomial Time."

Adrià Gascón, Ashish Tiwari, Manfred Schmidt-Schauß (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics