Rigid E/spl I.oarr/-unifiability is DEXPTIME-complete | IEEE Conference Publication | IEEE Xplore