@InProceedings{monz:98tabl, author = {Christof Monz and Maarten de~Rijke}, title = {A Tableaux Calculus for Ambiguous Quantification}, editor = {Harrie de~Swart}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'98)}, series = {LNAI 1397}, year = 1998, publisher = {Springer}, pages = {232--246} }