Lagerkvist, Wahlström, 2016. The power of primitive positive definitions with polynomially many variables.. https://doi.org/10.1093/logcom/exw005