B. C. Moszkowski "Executing Temporal Logic Programs" Cambridge University Press, 1986
(1986)
Languages mentioned
ITL
{1981}
Tempura
{1985}