A Tableaux Calculus for Ambiguous Quantification.

Christof Monz, Maarten de Rijke

Browse the full TABLEAUX paper archive.