Rigid E-Unifiability is DEXPTIME-Complete

Jean Goubault

Browse the full LICS paper archive.