This paper gives a brief high-level description of what has been done in the {\bf Dis}junctive {\bf Lo}gic {\bf P}rogramming-project (funded by {\bf D}eutsche {\bf F}orschungs-{\bf G}emeinschaft), undertaken by the University of Koblenz since July 1995. We present the main ideas, cite the relevant papers and point to the implemented systems and how to access them.

@techreport{
    ADN:1:97_ini,
    author = {Aravindan, C. and Dix, J. and Niemel{\"a}, Ilkka},
    title = "{DisLoP: A Research Project on Disjunctive Logic Programming}",
    abstract = "This paper gives a brief high-level description of what has been done in the {\bf Dis}junctive {\bf Lo}gic {\bf P}rogramming-project (funded by {\bf D}eutsche {\bf F}orschungs-{\bf G}emeinschaft), undertaken by the University of Koblenz since July 1995. We present the main ideas, cite the relevant papers and point to the implemented systems and how to access them.",
    number = "1--97",
    note = "Available at \url{http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/}",
    year = "1997",
    type = "Fachberichte Informatik",
    institution = {Universit{\"a}t Koblenz-Landau}
}

AUTHORS:

ABSTRACT: