Abductive Validation of a Power-Grid Expert System Diagnoser. - José Ferreira de Castro; Luís Moniz Pereira (IEA/AIE, 2004)