T. K. Satish Kumar Richard Dearden The Oracular Constraints Method. 290-298 2002 conf/sara/2002 SARA http://link.springer.de/link/service/series/0558/bibs/2371/23710290.htm db/conf/sara/sara2002.html#KumarD02