Knowledge Processing and Information Systems Modern constraint answer set solving
@phdthesis{DBLP:phd/dnb/Ostrowski18,
title = {Modern constraint answer set solving},
author = {Ostrowski, Max},
school = {University of Potsdam, Germany},
year = {2018}
}