Kufleitner, M., & Walter, T. (2018). Level Two of the Quantifier Alternation Hierarchy Over Infinite Words. Theory of Computing Systems, 62(3), 467. https://doi.org/10.1007/s00224-017-9801-x
Chicago Style (17th ed.) CitationKufleitner, Manfred, and Tobias Walter. "Level Two of the Quantifier Alternation Hierarchy Over Infinite Words." Theory of Computing Systems 62, no. 3 (2018): 467. https://doi.org/10.1007/s00224-017-9801-x.
MLA (9th ed.) CitationKufleitner, Manfred, and Tobias Walter. "Level Two of the Quantifier Alternation Hierarchy Over Infinite Words." Theory of Computing Systems, vol. 62, no. 3, 2018, p. 467, https://doi.org/10.1007/s00224-017-9801-x.
Warning: These citations may not always be 100% accurate.