BDD-based decision procedures for K (2002)

by G Pan, U Sattler, M Y Vardi
Venue:In CADE, LNCS 2392