TY  - RPRT
TI  - Automating the Proofs of Strengthening Lemmas in the Abella Proof Assistant
AU  - Dawn Michaelson
PY  - 2017
UR  - https://arxiv.org/abs/1705.09025
ID  - 1705.09025
ER  -