Title: Solving syllogisms
First published: 1994