A natural deduction system for discourse representation theory. - Werner Saurer (J. Philos. Log., 1993)

Dov M. Gabbay, Christopher J. Hogger, John Alan Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies - Review. - Gregor Erbach; Werner Saurer (Artif. Intell. Rev., 2000)