What is answer set programming to propositional satisfiability
scientific article; zbMATH DE number 6842941
scientific article