Nesting negations in FO2 over infinite words. - Viktor Henriksson; Manfred Kufleitner (CoRR, 2020)

Deciding FO2 Alternation for Automata over Finite and Infinite Words. - Viktor Henriksson; Manfred Kufleitner (DLT, 2021)

Deciding FO2 Alternation for Automata over Finite and Infinite Words. - Viktor Henriksson; Manfred Kufleitner (CoRR, 2021)

Conelikes and Ranker Comparisons. - Viktor Henriksson; Manfred Kufleitner (LATIN, 2022)

Forbidden Patterns for FO2 Alternation Over Finite and Infinite Words. - Viktor Henriksson; Manfred Kufleitner (Int. J. Found. Comput. Sci., 2023)