Patrick John Coppock, Graeme Kirkpatrick , Olli Tapio Leino, Anita Leirfall (2014) Philosophy & Technology 27 (2).
pp. 287-313
This document is unfortunately not available for download at the moment.