Time-Extraction for Temporal Logic-Logic Programming and Local Process Time.

Takashi Hattori Time-Extraction for Temporal Logic-Logic Programming and Local Process Time. 40-56 1994 49 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss49.html#Hattori94