Anatoli Degtyarev Andrei Voronkov General Connections via Equality Elimination. 109-120 1995 WOCFAI db/conf/wocfai/wocfai1995.html#DegtyarevV95