Notre Dame J. Formal Logic
50(2):
221-226
(2009).
DOI: 10.1215/00294527-2009-008