@inproceedings{DBLP:conf/asp/Linke03a, title = {Using Nested Logic Programs for Answer Set Programming}, author = {Linke, Thomas}, booktitle = {Answer Set Programming}, publisher = {CEUR-WS.org}, series = {{CEUR} Workshop Proceedings}, volume = {78}, year = {2003} }