Knowledge Processing and Information Systems On elementary loops of logic programs
@article{DBLP:journals/tplp/GebserLL11,
author = {Gebser, Martin and Lee, Joohyung and Lierler, Yuliya},
title = {On elementary loops of logic programs},
journal = {{TPLP}},
volume = {11},
number = {6},
pages = {953--988},
year = {2011}
}