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