TY  - RPRT
TI  - Expressibility at the machine level versus structure level: ESO universal Horn Logic and the class P
AU  - Prabhu Manyem
PY  - 2012
UR  - https://arxiv.org/abs/1106.4606
ID  - 1106.4606
ER  -