TY  - RPRT
TI  - A Framework for Automated and Certified Refinement Steps
AU  - Andreas Griesmayer
AU  - Zhiming Liu
AU  - Charles Morisset
AU  - Shuling Wang
PY  - 2011
UR  - https://arxiv.org/abs/1112.0215
ID  - 1112.0215
ER  -