TY  - RPRT
TI  - Static Contract Simplification
AU  - Matthias Keil
AU  - Peter Thiemann
PY  - 2017
UR  - https://arxiv.org/abs/1703.10331
ID  - 1703.10331
ER  -