“The SMT-LIB Standard -- Version 2.0” by Clark Barrett, Aaron Stump, and Cesare Tinelli. In Proceedings of the 8^th International Workshop on Satisfiability Modulo Theories (SMT '10), July 2010. Edinburgh, Scotland.
BibTeX entry:
@inproceedings{BST10, author = {Clark Barrett and Aaron Stump and Cesare Tinelli}, title = {The {SMT-LIB} Standard -- Version 2.0}, booktitle = {Proceedings of the {\it 8^{th}} International Workshop on Satisfiability Modulo Theories (SMT '10)}, month = jul, year = {2010}, note = {Edinburgh, Scotland}, url = {http://theory.stanford.edu/~barrett/pubs/BST10.pdf} }
(This webpage was created with bibtex2web.)