Reasoning with time and chance (1982)

by D Lehmann, S Shelah
Venue:INSTITUT FÜR INFORMATIK TEMPORAL PROBABILISTIC AGENTS 49