Matthew Beaumont Abdul Sattar Michael J. Maher John Thornton Solving Overconstrained Temporal Reasoning Problems. 37-49 2001 conf/ausai/2001 Australian Joint Conference on Artificial Intelligence http://link.springer.de/link/service/series/0558/bibs/2256/22560037.htm db/conf/ausai/ausai2001.html#BeaumontSMT01