Contributions to Proceedings:

A. Leitsch:
"Resolution Theorem Proving: a logical point of view";
in: "Logic Colloquium '01", issued by: Matthias Baaz, Sy-David Friedman, Jan Krajicek; Association of Symbolic Logic, A K Peters, Ltd., Wellesley, Massachusetts, 2005, (invited), ISBN: 1-56881-247-7, 3 - 42.

Online library catalogue of the TU Vienna:

Created from the Publication Database of the Vienna University of Technology.