TY  - RPRT
TI  - A Versatile, Sound Tool for Simplifying Definitions
AU  - Alessandro Coglio
AU  - Matt Kaufmann
AU  - Eric W. Smith
PY  - 2017
DO  - 10.4204/eptcs.249.5
UR  - https://arxiv.org/abs/1705.01228
ID  - 1705.01228
ER  -