Verifying the Equivalence of Logic Programs in the Disjunctive Case (2004)
- BOOKTITLE:
- Logic Programming and Nonmonotonic Reasoning, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning
- SERIES:
- Lecture Notes in Artificial Intelligence
|