Cabalar, Pedro; Pearce, David; Valverde, Agustín (2018): Answer Set Programming from a Logical Point of View. KI - Künstliche Intelligenz: Vol. 32, No. 2-3. DOI: 10.1007/s13218-018-0547-7. Berlin Heidelberg: Springer Nature. PISSN: 1610-1987. pp. 109-118