Gopalan Nadathur, Mary Southern. A Logic for Formalizing Properties of LF Specifications. In PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022. ACM, 2022. [doi]
@inproceedings{NadathurS22, title = {A Logic for Formalizing Properties of LF Specifications}, author = {Gopalan Nadathur and Mary Southern}, year = {2022}, doi = {10.1145/3551357.3551377}, url = {https://doi.org/10.1145/3551357.3551377}, researchr = {https://researchr.org/publication/NadathurS22}, cites = {0}, citedby = {0}, booktitle = {PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022}, publisher = {ACM}, isbn = {978-1-4503-9703-2}, }