Title: On the mechanical performance of logical inference
Subjects: Logic