Dealing with Multiple Granularity of Time in Temporal Logic Programming

Chuchang Liu, Mehmet A. Orgun. Dealing with Multiple Granularity of Time in Temporal Logic Programming. Journal of Symbolic Computation, 22(5/6):699-720, 1996.

Abstract

Abstract is missing.