Notre Dame J. Formal Logic
46(1):
107-125
(2005).
DOI: 10.1305/ndjfl/1107220677