Benedikt Löwe , Florian Rudolph (2002) Synthese 133 (1-2).
pp. 275-303
This document is unfortunately not available for download at the moment.