BibTex:
@inproceedings{li2019consistency,
author = {Li, Tao and Gupta, Vivek and Mehta, Maitrey and Srikumar, Vivek},
title = {A Logic-Driven Framework for Consistency of Neural Models},
booktitle = {Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing},
year = {2019}
}