A Note on Semantics of Logic Programs with Equality Based on Complete Sets of E-Unifiers.

Anatoli Degtyarev Andrei Voronkov A Note on Semantics of Logic Programs with Equality Based on Complete Sets of E-Unifiers. 207-216 1996 28 J. Log. Program. 3 db/journals/jlp/jlp28.html#DegtyarevV96