Non-Classical Syllogistic Inference and the Method of Resolution.

Aris Noah Non-Classical Syllogistic Inference and the Method of Resolution. 209-222 1993 34 Notre Dame Journal of Formal Logic 2 db/journals/ndjfl/ndjfl34.html#Noah93