BDD-Based Decision Procedures for K.

Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi

Browse the full CADE paper archive.