1. A model building framework for answer set programming with external computations*. Issue 4 (13th August 2015) Authors: EITER, THOMAS; FINK, MICHAEL; IANNI, GIOVAMBATTISTA; KRENNWALLNER, THOMAS; REDL, CHRISTOPH; SCHÜLLER, PETER Journal: Theory and practice of logic programming Issue: Volume 16:Issue 4(2016) Page Start: 418 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Inlining External Sources in Answer Set Programs. Issue 3 (11th February 2019) Authors: REDL, CHRISTOPH Journal: Theory and practice of logic programming Issue: Volume 19:Issue 3(2019) Page Start: 360 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. The dlvhex system for knowledge representation: recent advances (system description)*. Issue 5 (14th October 2016) Authors: REDL, CHRISTOPH Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 866 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗