--- a/doc-src/manual.bib Fri May 20 12:47:59 2011 +0200
+++ b/doc-src/manual.bib Fri May 20 12:47:59 2011 +0200
@@ -421,7 +421,7 @@
@misc{yices,
author = {Bruno Dutertre and Leonardo de Moura},
title = {The {Yices} {SMT} Solver},
- publisher = "\url{http://yices.csl.sri.com/tool-paper.pdf}",
+ howpublished = "\url{http://yices.csl.sri.com/tool-paper.pdf}",
year = 2006}
@incollection{dybjer91,
@@ -648,10 +648,15 @@
number = 5,
month = May}
-@misc{sine,
- author = "Kry\v{s}tof Hoder",
- title = "{SInE} (Sumo Inference Engine)",
- note = "\url{http://www.cs.man.ac.uk/~hoderk/sine/}"}
+@inproceedings{sine,
+ author = "Kry\v{s}tof Hoder and Andrei Voronkov",
+ title = "Sine Qua Non for Large Theory Reasoning",
+ booktitle = {Automated Deduction --- CADE-23},
+ publisher = Springer,
+ series = LNCS,
+ editor = "Nikolaj Bj{\o}rner and Viorica Sofronie-Stokkermans",
+ year = 2011,
+ note = "To appear."}
@book{Hudak-Haskell,author={Paul Hudak},
title={The Haskell School of Expression},publisher=CUP,year=2000}