A temporal approach to causal knowledge (2000)

by W Penczek
Venue:Logic Journal of the IGPL