https://123dok.net/document/q054jk4l-debugging-el-ontologies-through-horn-mus-enumeration.html