@inproceedings{SpasicMaric,
        Author = {Mirko Spasi\'c and Filip Mari\'c},
        Booktitle = {FM'12},
        Doi = {10.1007/978-3-642-32759-9_35},
        Editor = {Dimitra Giannakopoulou and Dominique M{\'{e}}ry},
        Opt_Publisher = {Springer},
        Series = {LNCS},
        Volume = {7436},
        Year = {2012},
        Pages = {434--449},
        Title = {Formalization of Incremental Simplex Algorithm by Stepwise Refinement},
        Bdsk-Url-1 = {https://doi.org/10.1007/978-3-642-32759-9_35}}


@inproceedings{florian-refinement,
        Author = {Florian Haftmann and Alexander Krauss and Ondrej Kun\v{c}ar and Tobias Nipkow},
        Booktitle = {ITP'13},
        Optpublisher = {Springer},
        editor    = {Sandrine Blazy and
               Christine Paulin{-}Mohring and
               David Pichardie},
        Pages = {100--115},
        Series = {LNCS},
        Title = {Data Refinement in {I}sabelle/{HOL}},
        Volume = {7998},
        Year = {2013}}

@inproceedings{simplex-rad, 
  author    = {Bruno Dutertre and
               Leonardo de Moura},
  editor    = {Thomas Ball and
               Robert B. Jones},
  title     = {A Fast Linear-Arithmetic Solver for {DPLL(T)}},
  booktitle = {CAV'06}, 
  series    = {LNCS},
  volume    = {4144},
  pages     = {81--94},
  optpublisher = {Springer},
  year      = {2006},
  doi       = {10.1007/11817963_11},
}
