@inproceedings{ploix2003c, Address = {Washington D.C., U.S.A.}, Author = {Ploix, S. and Touaf, S. and Flaus, J. -M.}, Booktitle = {SAFEPROCESS'2003}, Keywords = {diagnostic reasoning, analytical redundancy relation, fault detection and isolation, dynamic systems, terminology}, Title = {A logical framework for isolation in fault diagnosis}, Year = 2003}