Guessoum, A.; Lloyd, J. W. Updating knowledge bases. (English) Zbl 0705.68096 New Generation Comput. 8, No. 1, 71-89 (1990). MSC: 68T35 68T15 68N17 PDFBibTeX XMLCite \textit{A. Guessoum} and \textit{J. W. Lloyd}, New Generation Comput. 8, No. 1, 71--89 (1990; Zbl 0705.68096) Full Text: DOI
Lloyd, J. W. Declarative error diagnosis. (English) Zbl 0624.68018 New Generation Comput. 5, 133-154 (1987). MSC: 68N01 PDFBibTeX XMLCite \textit{J. W. Lloyd}, New Generation Comput. 5, 133--154 (1987; Zbl 0624.68018) Full Text: DOI