Projectible predicates in analogue and simulated systems

2009

James Mattingly, Walter Warwick

Synthese 169 (3)