Reasoning with Time and Chance (Extended Abstract)

@inproceedings{Lehmann1983ReasoningWT,
  title={Reasoning with Time and Chance (Extended Abstract)},
  author={Daniel J. Lehmann and Saharon Shelah},
  booktitle={ICALP},
  year={1983}
}