Temporal and Modal Logic Programming: An Annotated Bibliography.

Mehmet A. Orgun Temporal and Modal Logic Programming: An Annotated Bibliography. 52-59 1994 5 SIGART Bulletin 3 db/journals/sigart/sigart5.html#Orgun94