Publications

Monographs

Saurer, W., A Formal Semantics of Tense, Aspect and Aktionsarten. Ph.D. Thesis, University of Pittsburgh, 1981. Reproduced by the Indiana University Linguistics Club, 1984.

Papers

Saurer, W., "A Natural Deduction System for Discourse Representation Theory." CLAUS-Report Nr. 16, Saarbrücken, 1991.

Saurer, W., "A Natural Deduction System for Discourse Representation Theory." Journal of Philosophical Logic 22, 1993, 249-302.

Saurer, W., "A Note on Anaphora and Inference." CLAUS-Report Nr. 46, Saarbrücken, 1994.

Reviews

Erbach, G./W. Saurer, Review of Dov Gabbay et al..(eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 2, Deduction Methodologies. In AI REVIEW 14(6), 615-617 (2000).