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