Safraless Decision Procedures.

Orna Kupferman, Moshe Y. Vardi

Browse the full FOCS paper archive.