TY  - RPRT
TI  - The em-convex rewrite system
AU  - Marius Buliga
PY  - 2018
UR  - https://arxiv.org/abs/1807.02058
ID  - 1807.02058
ER  -