DisLoP: A Research Project on Disjunctive Logic Programming (1997)
Aravindan C. , Dix J. , Niemelä Ilkka