Adrià Gascón Manfred Schmidt-Schauß Ashish Tiwari 0001 Two-Restricted One Context Unification is in Polynomial Time. 405-422 2015 CSL https://doi.org/10.4230/LIPIcs.CSL.2015.405 conf/csl/2015 db/conf/csl/csl2015.html#GasconST15