Quantifier Elimination in Second-Order Predicate Logic.

Dov M. Gabbay, Hans Jrgen Ohlbach

Browse the full KR paper archive.