Reference:
C. Aravindan, J. Dix, and Ilkka Niemelä. DisLoP: Towards a disjunctive logic programming system. In Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, pages 341–352, Dagstuhl, Germany, July 1997. Springer-Verlag.
Suggested BibTeX entry:
@inproceedings{ADN97:lpnmr,
address = {Dagstuhl, Germany},
author = {C. Aravindan and J. Dix and Ilkka Niemel{\"a}},
booktitle = {Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning},
month = {July},
pages = {341--352},
publisher = {Springer-Verlag},
title = {{DisLoP}: Towards a Disjunctive Logic Programming System},
year = {1997},
}
|