Clare Dixon, Alexander Bolotov, Michael Fisher. Alternating automata and temporal logic normal forms. Annals of Pure and Applied Logic, 135(1-3):263-285, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.