Answer set based design of knowledge systems
scientific article; zbMATH DE number 5080836