Logic programs with stable model semantics as a constraint programming paradigm
scientific article; zbMATH DE number 1456908