Publications Superposition and chaining for totally ordered divisible abelian groups .
Cancellative superposition decides the theory of divisible torsion-free abelian groups .
Extending reduction orderings to ACU-compatible reduction orderings . Superposition for divisible torsion-free abelian groups . Cancellative Abelian Monoids in Refutational Theorem Proving . Thesis, Universit t des Saarlandes, 1997. Theorem proving in cancellative abelian monoids , with Harald Ganzinger.