Yongmei Liu Hector J. Levesque A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. 83-88 2003 conf/ijcai/2003 IJCAI db/conf/ijcai/ijcai2003.html#LiuL03