BLAHOUDEK, František,
Juraj MAJOR a
Jan STREJČEK. LTL to self-loop alternating automata with generic acceptance and back.
Theoretical Computer Science. AMSTERDAM: North Holland, 2020, roč. 840, Nov 2020, s. 122-142. ISSN 0304-3975. Dostupné z: https://dx.doi.org/10.1016/j.tcs.2020.07.015.