A First Step Towards a Unified Proof Checker for QBF
Toni Jussila‚ Armin Biere‚ Carsten Sinz‚ Daniel Kroening and Christoph Wintersteiger
Book Title
Proceedings of SAT 2007
ISBN
978−3−540−72787−3
Pages
201–214
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
4501
Year
2007