The propositional formula checker HeerHugo. (2000)

by J F Groote, J P Warners
Venue:Journal of Automated Reasoning,