Frédéric Besson, Pascal Fontaine, Laurent Théry. A Flexible Proof Format for SMT: a Proposal. In Pascal Fontaine, Aaron Stump, editors, PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011. pages 15-26, 2011. [doi]
@inproceedings{BessonFT11,
title = {A Flexible Proof Format for SMT: a Proposal},
author = {Frédéric Besson and Pascal Fontaine and Laurent Théry},
year = {2011},
url = {https://pxtp2011.loria.fr/PxTP2011.pdf#page=19},
researchr = {https://researchr.org/publication/BessonFT11},
cites = {0},
citedby = {0},
pages = {15-26},
booktitle = {PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011},
editor = {Pascal Fontaine and Aaron Stump},
}