Satisfiability Solving and Model Generation for Quantified First-order Logic Formulas

@techreport{GladischFOVEOOS10,
  author      = {Christoph Gladisch},
  title       = {Satisfiability Solving and Model Generation for Quantified First-order Logic Formulas},
  booktitle   = {Papers Presented at the International Conference on Formal Verification of
                 Object-Oriented Software}, 
  year        = {2010},
  month       = jun,
  institution = {Fakult{\"a}t f{\"u}r Informatik, Institut f{\"u}r Theoretische Informatik, ITI},
  address     = {Paris, France}
}