@misc{indiciae2f90e8cdeab6, title = {Methods of Class Field Theory to Separate Logics over Finite Residue Classes and Circuit Complexity}, author = {Argimiro Arratia and Carlos E. Ortiz}, year = {2015}, doi = {10.1093/logcom/exx007}, url = {https://arxiv.org/abs/1511.02175}, note = {Source identifier: 1511.02175} }