, 2014, 'Causal tracking reliabilism and the gettier problem', Synthese 191 (17), 4115-4130.
, 2013a, 'Experimental mathematics, computers and the a priori', Synthese 190 (3), 397-412.