Aarti Gupta;Allan L. Fisher
-;-
Decision procedures for inductive Boolean functions based on alternating automata
Theoretical Computer Science