DisLoP: A Research Project on Disjunctive Logic Programming

Reference:

C. Aravindan, J. Dix, and Ilkka Niemelä. DisLoP: A research project on disjunctive logic programming. Computational Logic, 3(2), 1997.

Suggested BibTeX entry:

@article{ADN97:CL,
    author = {C. Aravindan and J. Dix and Ilkka Niemel{\"a}},
    journal = {Computational Logic},
    number = {2},
    title = {{DisLoP}: A Research Project on Disjunctive Logic Programming},
    volume = {3},
    year = {1997},
}