Mukesh Dalal Anytime Clausal Reasoning. 297-318 1998 22 Ann. Math. Artif. Intell. 3-4 db/journals/amai/amai22.html#Dalal98