Temporal Logic Programming

Zohar Manna
SLP(1987), pp. 4-16

Abstract

Research Areas