Chandrabose Aravindan Jürgen Dix Ilkka Niemelä DisLoP: A Research Project on Disjunctive Logic Programming. 151-165 1997 10 AI Commun. 3-4 db/journals/aicom/aicom10.html#AravindanDN97