Otto Lappi
with Rusanen, A. , 2016, 'On computational explanations',
Synthese
193 (12), 3931-3949.