Nonmonotonic temporal reasoning (1994)

by E Sandewall, Y Shoham
Venue:Epistemic and Temporal Reasoning, volume 4 of Handbook of Arti cial Intelligence and Logic Programming