Roy Clouser (2010) Axiomathes 20 (1).
pp. 95-106
This document is unfortunately not available for download at the moment.