Aristotle, Menaechmus, and Circular Proof. - Barnes, J. (1976)