“…The most detailed and promising approaches to the Ramification Problem depend on the development of theories of common sense causation, and therefore are closely related to the causal approaches to reasoning about time and action discussed below in Section 4.6. See, for instance, [ Lin, 1995, Thielscher, 1989, Giunchiglia et al, 1997 .…”