Decision procedures for inductive boolean functions based on alternating automata (2000)

by Abdelwaheb Ayari, David A Basin, Felix Klaedtke
Venue:In CAV, volume 1855 of LNCS