@inproceedings(BGMR15,
 author       = {Bj{\o}rner, Nikolaj and Arie Gurfinkel and Kenneth L. McMillan and Andrey Rybalchenko},
 year         = {2015},
 title        = {Horn Clause Solvers for Program Verification},
 booktitle    = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday},
 series       = {LNCS},
 volume       = {9300},
 publisher    = {Springer},
 pages        = {24--51},
 doi          = {10.1007/978-3-319-23534-9\_2},
)
@inproceedings(BJKS15,
 author       = {Martin Brain and Saurabh Joshi and Daniel Kroening and Peter Schrammel},
 year         = {2015},
 title        = {Safety Verification and Refutation by k-Invariants and k-Induction},
 booktitle    = {Static Analysis Symposium},
 series       = {LNCS},
 volume       = {9291},
 publisher    = {Springer},
 pages        = {145--161},
 doi          = {10.1007/978-3-662-48288-9\_9},
)
@inproceedings(CDK+15,
 author       = {Hong{-}Yi Chen and Cristina David and Daniel Kroening and Peter Schrammel and Bj{\"{o}}rn Wachter},
 year         = {2015},
 title        = {Synthesising Interprocedural Bit-Precise Termination Proofs},
 booktitle    = {Automated Software Engineering},
 publisher    = {ACM},
 pages        = {53--64},
 doi          = {10.1109/ASE.2015.10},
)
@inproceedings(GLPR12,
 author       = {Sergey Grebenshchikov and Nuno P. Lopes and Corneliu Popeea and Andrey Rybalchenko},
 year         = {2012},
 title        = {Synthesizing software verifiers from proof rules},
 booktitle    = {Programming Language Design and Implementation},
 publisher    = {ACM},
 pages        = {405--416},
 doi          = {10.1145/2254064.2254112},
)
@article(HW13,
 author       = {Youssef Hamadi and Christoph M. Wintersteiger},
 year         = {2013},
 title        = {Seven Challenges in Parallel {SAT} Solving},
 journal      = {{AI} Magazine},
 volume       = {34},
 number       = {2},
 pages        = {99--106},
)
@inproceedings(KGC14,
 author       = {Anvesh Komuravelli and Arie Gurfinkel and Sagar Chaki},
 year         = {2014},
 title        = {SMT-Based Model Checking for Recursive Programs},
 booktitle    = {Computer-Aided Verification},
 series       = {LNCS},
 volume       = {8559},
 publisher    = {Springer},
 pages        = {17--34},
 doi          = {10.1007/978-3-319-08867-9\_2},
)
@inproceedings(SK16,
 author       = {Peter Schrammel and Daniel Kroening},
 year         = {2016},
 title        = {2LS for Program Analysis - (Competition Contribution)},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 series       = {LNCS},
 volume       = {9636},
 publisher    = {Springer},
 pages        = {905--907},
 doi          = {10.1007/978-3-662-49674-9\_56},
)