Gerhard Lakemeyer Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. 73-81 2002 conf/kr/2002 KR db/conf/kr/kr2002.html#Lakemeyer02