Sciweavers

TABLEAUX
1998
Springer
15 years 16 days ago
A Tableaux Calculus for Ambiguous Quantification
Appeared in: Harrie de Swart, editor. Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1489, Springer, pages 232
Christof Monz, Maarten de Rijke