Bruno Wendler Marc Ayel Verifying Coherence in Modular Knowledge Bases. 173-187 1995 conf/eurovav/1995 EUROVAV db/conf/eurovav/eurovav1995.html#WendlerA95