Nonmonotonic logic and temporal projection (1987)

by S Hanks, D V McDermott
Venue:Artificial Intelligence