TACLP

AcronymDefinition
TACLPTemporal Annotated Constraint Logic Programming with Multiple Theories