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

Nirina Andrianarivelo Wadoud Bousdira Jean-Marc Talbot On Theorem-Proving in Horn Theories with Built-in Algebras. 320-338 1996 conf/aisc/1996 AISMC db/conf/aisc/aismc1996.html#AndrianariveloBT96