Kevin J. Compton. Lower Bounds for the Complexity of Theories. Bulletin of the EATCS, 43:113-123, 1991.
@article{Compton91, title = {Lower Bounds for the Complexity of Theories}, author = {Kevin J. Compton}, year = {1991}, researchr = {https://researchr.org/publication/Compton91}, cites = {0}, citedby = {0}, journal = {Bulletin of the EATCS}, volume = {43}, pages = {113-123}, }