Bib entry
 author = {Gurevich, Yuri and Immerman, Neil and Shelah, Saharon},
 title = {{McColm's conjecture [positive elementary inductions]}},
 booktitle = {{Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science}},
 month = {July},
 year = {1994},
 pages = {10-19},
 doi = {10.1109/LICS.1994.316091},
 doi = {10.1109/LICS.1994.316091},
 publisher = {IEEE Computer Society Press},
 note = {\href{}{arXiv: math/9411235}},
 arxiv_number = {math/9411235},
 keyword = {formal logic;positive elementary inductions;finite structures;first-order formula;first-order logic;least fixed point operator;model-theoretic constructions;Vocabulary;Logic;Computer science;Mathematics;Building materials}