@inproceedings{jbskw2007,
  title = "A First Step Towards a Unified Proof Checker for {QBF}",
  author = "Jussila, Toni and Biere, Armin and Sinz, Carsten and Kroening, Daniel and Wintersteiger, Christoph",
  year = "2007",
  booktitle = "Proceedings of SAT 2007",
  isbn = "978-3-540-72787-3",
  pages = "201--214",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4501",
}