Christof Löding, P. Madhusudan, Lucas Peña. Foundations for natural proofs and quantifier instantiation. Proceedings of the ACM on Programming Languages, 2(POPL), 2018. [doi]
@article{LodingMP18,
title = {Foundations for natural proofs and quantifier instantiation},
author = {Christof Löding and P. Madhusudan and Lucas Peña},
year = {2018},
doi = {10.1145/3158098},
url = {http://doi.acm.org/10.1145/3158098},
researchr = {https://researchr.org/publication/LodingMP18},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {2},
number = {POPL},
}