@misc{indiciae8de7933e3b1d,
  title = {Expressibility at the machine level versus structure level: ESO universal Horn Logic and the class P},
  author = {Prabhu Manyem},
  year = {2012},
  url = {https://arxiv.org/abs/1106.4606},
  note = {Source identifier: 1106.4606}
}