Presupposition and Abduction in Type Theory (1995)

by P Krause
Venue:Working Notes of the Edinburgh Conference on Computational Logic and Natural Language Processing, HCRC