Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques
scientific article; zbMATH DE number 4203771