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

• Authors:

• Nirina Andrianarivelo;Wadoud Bousdira;Jean-Marc Talbot

• Affiliations:

• -;-;-

• Venue:
• AISMC-3 Proceedings of the International Conference AISMC-3 on Artificial Intelligence and Symbolic Mathematical Computation
• Year:
• 1996