Efficient Encodings of First-Order Horn Formulas in Equational Logic.

Koen Claessen, Nicholas Smallbone

Browse the full CADE paper archive.