Knowledge Processing and Information Systems
On elementary loops of logic programs

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