Your search returned the following document:

1. Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
   Leo Bachmair, Harald Ganzinger, and Jürgen Stuber
   In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May/June 1994, 1995, 1-29