@Article{geleli11a,
  author =	 "M. Gebser and J. Lee and Y. Lierler",
  title =	 "On Elementary Loops of Logic Programs",
  journal =	 "Theory and Practice of Logic Programming",
  volume =	 11,
  number =	 6,
  pages =	 "953-988",
  year =	 2011
}