# On the relationship between w-automata and temporal logic normal forms

Bolotov, A., Fisher, M. and Dixon, C. 2002. On the relationship between w-automata and temporal logic normal forms. *Journal of Logic and Computation.* 12 (4), pp. 561-581. https://doi.org/10.1093/logcom/12.4.561