Frank D. Valencia Concurrency, Time, and Constraints. 72-101 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2916&spage=72 2003 conf/iclp/2003 ICLP db/conf/iclp/iclp2003.html#Valencia03