Francesco Coniglione (2009) Axiomathes 19 (4).
pp. 441-464
This document is unfortunately not available for download at the moment.