BibTeX
@techreport{koenig:1997mpm,
author = {K{ö}nig, Esther},
title = {A Matrix Proof Method for Underspecified Discourse Representation
Structures},
institution = {Institut f{ü}r Maschinelle Sprachverarbeitung, Universit{ä}t
Stuttgart},
year = {1997},
type = {Arbeitspapier 96 des {S}onderforschungsbereich 340},
keywords = {SFB340},
postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/udrs-tp.ps.gz}
}