Temporal annotated constraint logic programming with multiple theories | IEEE Conference Publication | IEEE Xplore