Jürgen Stuber

Superposition Theorem Proving for Commutative Rings

Jürgen Stuber, Jürgen Stuber, 1998 .

Superposition with equivalence reasoning and delayed clause normal form transformation

Harald Ganzinger, Jürgen Stuber, H. Ganzinger, 2005, Inf. Comput..

Superposition Theorem Proving for Abelian Groups Represented as Integer Modules

Jürgen Stuber, Jürgen Stuber, 1996, Theor. Comput. Sci..

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

Harald Ganzinger, Jürgen Stuber, Leo Bachmair, 1994, COMPASS/ADT.