DisLoP: A Research Project on Disjunctive Logic Programming (1997)
[BibTex]