Contact DMCA Privacy

Robuta

https://easychair.org/smart-slide/slide/9wzb

Efficient encodings of first-order Horn formulas in equational logic

first order equational logic efficient encodings horn