Extensions of Constraint Solving for Proof Planning. - Erica Melis; Jürgen Zimmer; Tobias Müller 002 (ECAI, 2000)

Integrating Constraint Solving into Proof Planning. - Erica Melis; Jürgen Zimmer; Tobias Müller 002 (FroCoS, 2000)

Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. - Jürgen Zimmer; Louise A. Dennis (AISC, 2002)

Proof Development with OMEGA. - Jörg H. Siekmann; Christoph Benzmüller; Vladimir Brezhnev; Lassaad Cheikhrouhou; Armin Fiedler; Andreas Franke 001; Helmut Horacek; Michael Kohlhase; Andreas Meier 002; Erica Melis; Markus Moschner; Immanuel Normann; et al. (CADE, 2002)

System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. - Jürgen Zimmer; Michael Kohlhase (CADE, 2002)

A Framework for Agent-Based Brokering of Reasoning Services. - Jürgen Zimmer (MICAI, 2004)

Constraint Solving for Proof Planning. - Jürgen Zimmer; Erica Melis (J. Autom. Reason., 2004)

The MathServe System for Semantic Web Reasoning Services. - Jürgen Zimmer; Serge Autexier (IJCAR, 2006)

MathServe: a framework for semantic reasoning services. - Jürgen Zimmer (2008)