Author: Domagoj Babic, babic.domagoj@gmail.com
Please contact the author concerning licensing information.

Reference:
@misc{BabHut07,
  author = {Domagoj Babi\'c and Frank Hutter},
  title = {SPEAR Theorem Prover},
  note = {Solver description, {SAT} competition},
  year={2007}
}
