Simultaneous Rigid E-Unification is not so Simple (1995)

Cached

Download Links

by Anatoli Degtyarev , Yuri Matiyasevich , Andrei Voronkov