Graph properties for normal logic programs
scientific article; zbMATH DE number 166429
scientific article