TY  - RPRT
TI  - History-Register Automata
AU  - Radu Grigore
AU  - Nikos Tzevelekos
PY  - 2016
DO  - 10.2168/lmcs-12(1:7)2016
UR  - https://arxiv.org/abs/1209.0680
ID  - 1209.0680
ER  -