Frank D. Valencia Concurrency, Time, and Constraints. 72-101 http://dx.doi.org/10.1007/978-3-540-24599-5_6 2003 conf/iclp/2003 ICLP db/conf/iclp/iclp2003.html#Valencia03