Modular Equivalence for Normal Logic Programs (2006)
  • BOOKTITLE:
  • Proceedings of the 17th European Conference on Artificial Intelligence
  • PAGES:
  • 412--416
[BibTex]