Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings.

Leo Bachmair, Harald Ganzinger, Jrgen Stuber

Browse the full COMPASS paper archive.