TY  - RPRT
TI  - Interactive Small-Step Algorithms I: Axiomatization
AU  - Andreas Blass
AU  - Yuri Gurevich
AU  - Dean Rosenzweig
AU  - Benjamin Rossman
PY  - 2007
DO  - 10.2168/lmcs-3(4:3)2007
UR  - https://arxiv.org/abs/0707.3782
ID  - 0707.3782
ER  -