The use of mathematical programming to verify rule-based knowledge
scientific article; zbMATH DE number 947468