A New Procedural Interpretation of Horn Clauses with Equality.

Anatoli Degtyarev, Andrei Voronkov

Browse the full ICLP paper archive.