EasyChair Smart Slide
Efficient encodings of first-order Horn formulas in equational logic
Efficient encodings of first-order Horn formulas in equational logic