TY - RPRT TI - A Tableaux Calculus for Ambiguous Quantification AU - Christof Monz AU - Maarten de Rijke PY - 2000 UR - https://arxiv.org/abs/cs/0009015 ID - cs/0009015 ER -