John Thornton Matthew Beaumont Abdul Sattar Michael J. Maher A Local Search Approach to Modelling and Solving Interval Algebra Problems. 93-112 2004 14 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/14.1.93 db/journals/logcom/logcom14.html#ThorntonBSM04