Patrick Doherty 0001 Witold Lukaszewicz Andrzej Szalas Efficient Reasoning Using the Local Closed-World Assumption. 49-58 https://doi.org/10.1007/3-540-45331-8_5 2000 conf/aimsa/2000 AIMSA db/conf/aimsa/aimsa2000.html#DohertyLS00