Knowledge Processing and Information Systems Clingo = ASP + Control: Extended Report
@techreport{TEMP:journals/corr/GebserKKS14x,
title = {Clingo = {ASP} + Control: Extended Report},
author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten},
institution = {University of Potsdam},
year = {2014}
}