Chris Swoyer
, 1991, 'Structural representation and surrogative reasoning',
Synthese
87 (3), 449-508.