Igor Douven (2013) Synthese 190 (1).
pp. 21-36
This document is unfortunately not available for download at the moment.