The propositional formula checker Heer Hugo (2000)

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