Update papers.bib

Author: tinelli

_bibliography/papers.bib

@@ -2,7 +2,19 @@ @Comment{
 ebib-main-file: /home/alex/Dropbox/HubersPhD/bibliography/ann-bib.bib
 }
 
-
+@inproceedings{EkiEtAl-PxTP-19,
+  author    = {Burak Ekici and Arjun Viswanathan and Yoni Zohar and Clark Barrett and Cesare Tinelli},
+  title     = {Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)},
+  booktitle = {Proceedings Sixth Workshop on Proof eXchange for Theorem Proving},
+  pages     = {57--89},
+  year      = {2019},
+  url       = {https://doi.org/10.4204/EPTCS.301},
+  doi       = {10.4204/EPTCS.301},
+  editor    = {Giselle Reis and Haniel Barbosa},
+  series    = {Electronic Proceedings in Theoretical Computer Science},
+  volume    = {301},
+  publisher = {Open Publishing Association},
+}
 
 @inproceedings{IngleHM22,
 	author = {Apoorv Ingle and