Equality Elimination for the Inverse Method and Extension Procedures.

Anatoli Degtyarev Andrei Voronkov Equality Elimination for the Inverse Method and Extension Procedures. 342-347 1995 conf/ijcai/1995 IJCAI db/conf/ijcai/ijcai95.html#DegtyarevV95