Design and results of the Fifth Answer Set Programming Competition
scientific article; zbMATH DE number 6524438
scientific article