editors. Automated Deduction: A Basis for Applications (1998)

by W Bibel, P Schmitt