Marc Ayel Marie-Christine Rousset Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, June 1995 1995 ADERIAS-LIA, Universite de Savoie EUROVAV db/conf/eurovav/eurovav1995.html