Temporal Annotated Constraint Logic Programming

Thom W. Frühwirth. Temporal Annotated Constraint Logic Programming. Journal of Symbolic Computation, 22(5/6):555-583, 1996.

Bibliographies