Safraless decision procedures (2005)

by O Kupferman, M Y Vardi
Venue:In 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS’05