TY  - RPRT
TI  - Towards a Logic for Reasoning About LF Specifications
AU  - Mary Southern
AU  - Gopalan Nadathur
PY  - 2018
UR  - https://arxiv.org/abs/1806.10199
ID  - 1806.10199
ER  -