Michael Freund Daniel J. Lehmann Paul Morris Rationality, Transitivity, and Contraposition. 191-203 1992 52 Artif. Intell. 2 db/journals/ai/ai52.html#FreundLM92