@misc{indiciaeb7396b79baa4, title = {Dual Adjunction Between \$Ω\$-Automata and Wilke Algebra Quotients}, author = {Anton Chernev and Helle Hvid Hansen and Clemens Kupke}, year = {2024}, url = {https://arxiv.org/abs/2407.14115}, note = {Source identifier: 2407.14115} }