TY  - RPRT
TI  - Choiceless polynomial time
AU  - Andreas Blass
AU  - Yuri Gurevich
AU  - Saharon Shelah
PY  - 1997
UR  - https://arxiv.org/abs/math/9705225
ID  - math/9705225
ER  -