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