TY  - RPRT
TI  - Tameness in least fixed-point logic and McColm's conjecture
AU  - Siddharth Bhaskar
AU  - Alex Kruckman
PY  - 2021
DO  - 10.23638/lmcs-17(1:2)2021
UR  - https://arxiv.org/abs/1708.00148
ID  - 1708.00148
ER  -