A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming (2007)
  • BOOKTITLE:
  • Proceedings of the 23rd International Conference on Logic Programming
  • PAGES:
  • 440--441
[BibTex]