Notre Dame J. Formal Logic
37(1):
152-159
(Winter 1996).
DOI: 10.1305/ndjfl/1040067322