On Theorem-Proving in Horn Theories with Built-in Algebras.

Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot

Browse the full AISC paper archive.