First-Order Calculi and Proof Procedures for Automated Deduction (0)

by R LETZ