TY  - RPRT
TI  - Leveraging the Information Contained in Theory Presentations
AU  - Jacques Carette
AU  - William M. Farmer
AU  - Yasmine Sharoda
PY  - 2020
UR  - https://arxiv.org/abs/2006.09292
ID  - 2006.09292
ER  -