Constraint based implementation of a PDDL-like language with static causal laws and time fluents

Publication
Proceedings of the 24th Italian Conference on Computational Logic, Ferrara, Italy, June 24-26, 2009