@article{GebserLeeLierler2007,
  author    = {Martin Gebser and Joohyung Lee and Yuliya Lierler},
  title     = {Head-elementary-set-free logic programs},
  year      = {2007},
}