TY  - RPRT
TI  - Proving Skipping Refinement with ACL2s
AU  - Mitesh Jain
AU  - Panagiotis Manolios
PY  - 2015
DO  - 10.4204/eptcs.192.9
UR  - https://arxiv.org/abs/1509.06085
ID  - 1509.06085
ER  -