Fages’ theorem for programs with nested expressions. Erdem, E. & Lifschitz, V. In International Conference on Logic Programming, pages 242–254, 2001. Springer, Berlin, Heidelberg.
bibtex   
@inproceedings{erdem2001fages,
  title={Fages’ theorem for programs with nested expressions},
  author={Erdem, Esra and Lifschitz, Vladimir},
  booktitle={International Conference on Logic Programming},
  pages={242--254},
  year={2001},
  organization={Springer, Berlin, Heidelberg}
}

Downloads: 0