Benjamin Kiesl, Peter Schüller, Hans Tompits
On Structural Analysis of Non-Ground Answer-Set Programs
ICLP, 2015.
@inproceedings{ICLP-2015-KieslST, author = "Benjamin Kiesl and Peter Schüller and Hans Tompits", booktitle = "{Technical Communications of the 31st International Conference on Logic Programming}", ee = "http://ceur-ws.org/Vol-1433/tc_65.pdf", pages = "221--234", publisher = "{CEUR-WS.org}", series = "{CEUR Workshop Proceedings}", title = "{On Structural Analysis of Non-Ground Answer-Set Programs}", volume = 1433, year = 2015, }