2018
with Wright Cory, Kwisthout Johan, Wareham Todd
Synthese 195/2
2012
with Wright Cory, Wareham Todd
Synthese 187/2