Validation Methods and Tools for Knowledge-Based Systems (VALID). - Ramón López de Mántaras; P. F. Kerdiles; Henrik Legind Larsen (Wissensbasierte Systeme, 1989)