From the Past to the Future: Executing Temporal Logic Programs.

Michael Fisher, Richard Owens

Browse the full LPAR paper archive.