Luis M. Laita, Julia Couto, Luis de Ledesma. A Formal Study of Consistency of KBSs. In Matthew Grisoni, editor, Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991. pages 31-38, Logica Ltd., Cambridge, UK, 1991.
No references recorded for this publication.
No citations of this publication recorded.