Computing Partial Labels in KBS Validation Tools. - Bruno Wendler; Laurence Vignollet; Stephane Talbot (EUROVAV, 1993)

Verifying Coherence in Modular Knowledge Bases. - Bruno Wendler; Marc Ayel (EUROVAV, 1995)