DisLoP: Towards a Disjunctive Logic Programming System

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},
}