Non-monotonic Temporal Reasoning (1995)

by E Sandewall, Y Shoham
Venue:Handbook of Logic in Artificial Intelligence and Logic Programming