Siddharth Bhaskar, Alex Kruckman. Tameness in least fixed-point logic and McColm's conjecture. Logical Methods in Computer Science, 17(1), 2021. [doi]
@article{BhaskarK21, title = {Tameness in least fixed-point logic and McColm's conjecture}, author = {Siddharth Bhaskar and Alex Kruckman}, year = {2021}, url = {https://lmcs.episciences.org/7123}, researchr = {https://researchr.org/publication/BhaskarK21}, cites = {0}, citedby = {0}, journal = {Logical Methods in Computer Science}, volume = {17}, number = {1}, }