@article{Linke2003, author = {Thomas Linke}, title = {Using nested logic programs for answer set programming}, url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-78/}, year = {2003}, }