Tight logic programs. Erdem, E. & Lifschitz, V. Theory and Practice of Logic Programming, 3(4+ 5):499–518, Cambridge University Press, 2003.
bibtex   
@article{erdem2003tight,
  title={Tight logic programs},
  author={Erdem, Esra and Lifschitz, Vladimir},
  journal={Theory and Practice of Logic Programming},
  volume={3},
  number={4+ 5},
  pages={499--518},
  year={2003},
  publisher={Cambridge University Press}
}

Downloads: 0