TY  - RPRT
TI  - Completely Automated Equivalence Proofs
AU  - Qi Zhou
AU  - David Heath
AU  - William Harris
PY  - 2017
UR  - https://arxiv.org/abs/1705.03110
ID  - 1705.03110
ER  -