Temporal Logic Programming

Zohar Manna
J. Symb. Comput., 8(1989), pp. 277-295

Abstract

Research Areas