Decision Procedures for Inductive Boolean Functions Based on Alternating Automata.

Abdelwaheb Ayari, David A. Basin, Felix Klaedtke

Browse the full CAV paper archive.