Correction to: SATO: An Efficient Propositional Prover

Automated Deduction—CADE-14 - Lecture Notes in Computer Science ◽

10.1007/3-540-63104-6_45 ◽

2005 ◽

pp. E1-E1

Author(s):

Jürgen Ehrensberger ◽

Claus Zinn

Download Full-text