Notre Dame J. Formal Logic
44(4):
227-251
(2003).
DOI: 10.1305/ndjfl/1091122500