Presupposition and Abduction in Type Theory (1995)

by Peter Krause
Venue:Siekmann Edinburgh Conference on Computational Logic and Natural Language Processing