Hector J. Levesque A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. 14-23 1998 KR db/conf/kr/kr98.html#Levesque98