Thom W. Frühwirth. Annotated Constraint Logic Programming Applied to Temporal Reasoning. In Manuel V. Hermenegildo, Jaan Penjam, editors, Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP 94, Madrid, Spain, September 14-16, 1994, Proceedings. Volume 844 of Lecture Notes in Computer Science, pages 230-243, Springer, 1994.
Abstract is missing.