@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}
}