Éric Grégoire. Using local search to validate knowledge-based systems.
Knowledge-Based Software Engineering (Proc. of the Fourth Joint Conf. on Knowledge-Based Software Engineering (JCKBSE-00)), 2000, Brno, Tchèquie, Frontiers in Artificial Intelligence and Applications 62, Unknown Region. pp.163-168.
⟨hal-03300521⟩