Notre Dame J. Formal Logic
41(1):
77-94
(2000).
DOI: 10.1305/ndjfl/1027953485