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