Thom W. Frühwirth. Temporal Logic and Annotated Constraint Logic Programming. In Michael Fisher, Richard Owens, editors, Executable Modal and Temporal Logics, IJCAI 93, Workshop, Chambéry, France, August 28, 1993, Proceedings. Volume 897 of Lecture Notes in Computer Science, pages 58-68, Springer, 1993.
No references recorded for this publication.
No citations of this publication recorded.