@inproceedings{
    ADN97:lpnmr,
    author = {Aravindan, C. and Dix, J. and Niemel{\"a}, Ilkka},
    publisher = "Springer-Verlag",
    title = "{DisLoP}: Towards a Disjunctive Logic Programming System",
    booktitle = "Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning",
    address = "Dagstuhl, Germany",
    month = "July",
    note = "",
    year = "1997",
    organization = "",
    pages = "341--352"
}