Modularity in Smodels Programs (2007)
- BOOKTITLE:
- Logic Programming and Nonmonotonic Reasoning, 9th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR 2007, Tempe, AZ, USA, May 2007, Proceedings
- SERIES:
- Lecture Notes in Artificial Intelligence
|