Chandrabose Aravindan Jürgen Dix Ilkka Niemelä Dislop: Towards a Disjunctive Logic Programming System. 342-353 1997 conf/lpnmr/1997 LPNMR db/conf/lpnmr/lpnmr97.html#AravindanDN97