Jesper Kallestrup, Duncan Pritchard (2009) Synthese 171 (3).
pp. 419-432
This document is unfortunately not available for download at the moment.