Modeling in the design of a KBS validation system. - Henrik Legind Larsen; Heri Nonfjall (Int. J. Intell. Syst., 1991)

Erratum modeling in the design of a KBS validation system. - Henrik Legind Larsen; Heri Nonfjall (Int. J. Intell. Syst., 1992)

Detection of potential inconsistencies in knowledge bases. - Heri Nonfjall; Henrik Legind Larsen (Int. J. Intell. Syst., 1992)