Li Yang Mukesh Dalal Empirical Results on Anytime Propositional Reasoning . 77- 1997 ICTAI http://computer.org/proceedings/ictai/8203/82030077abs.htm db/conf/ictai/ictai1997.html#YangD97