#### DMCA

## Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings (1995)

by
Leo Bachmair
,
Harald Ganzinger
,
Jürgen Stuber

Venue: | In Proc. 10th Workshop on Specification of Abstract Data Types |

Citations: | 7 - 4 self |