Life on a desert island: Ongoing work on real-time reasoning (1987)

by J Elgot-Drapkin, M Miller, D Perlis
Venue:Proceedings of the 1987 Workshop on The Frame Problem