Abdelwaheb Ayari David A. Basin Felix Klaedtke Decision Procedures for Inductive Boolean Functions Based on Alternating Automata. 170-185 2000 conf/cav/2000 CAV db/conf/cav/cav2000.html#AyariBK00