Andreas Wolf

Cooperative Parallel Automated Theorem Proving

Andreas Wolf, Marc Fuchs, 1997 .

E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover

Gernot Stenz, Andreas Wolf, Andreas Wolf, 1999, Australian Joint Conference on Artificial Intelligence.

On Excusable and Inexcusable Failures

Andreas Wolf, Markus Müller-Olm, M. Müller-Olm, 1999, World Congress on Formal Methods.

Strategy Parallelism in Automated Theorem Proving

Reinhold Letz, Andreas Wolf, Andreas Wolf, 1998, FLAIRS.

Integration of Automated and Interactive Theorem Proving in ILP

Ingo Dahn, Andreas Wolf, Jürgen Gehne, 1997, CADE.