Second-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected Applications.

Christoph Wernhard

Browse the full TABLEAUX paper archive.