Russell Greiner Christian Darken N. Iwan Santoso Efficient reasoning. 1-30 2001 33 ACM Comput. Surv. 1 http://doi.acm.org/10.1145/375360.375363 db/journals/csur/csur33.html#GreinerDS01