Discourse representation meets constructive mathematics (1990)

by R Ahn, H-P Kolb
Venue:Papers from the Second Symposium on Logic and Language