Answer Set Programming without Unstratified Negation
scientific article; zbMATH DE number 5496685