Hui Wan Michael Kifer Query Answering in Belief Logic Programming. 268-281 2009 SUM http://dx.doi.org/10.1007/978-3-642-04388-8_21 conf/sum/2009 db/conf/sum/sum2009.html#WanK09