TY  - RPRT
TI  - Stateman: Using Metafunctions to Manage Large Terms Representing Machine States
AU  - J. Strother Moore
PY  - 2015
DO  - 10.4204/eptcs.192.8
UR  - https://arxiv.org/abs/1509.06084
ID  - 1509.06084
ER  -