Arcot Rajasekar H. Yusuf DWAM - A WAM Model Extension for Disjunctive Logic Programming. 1995 14 Ann. Math. Artif. Intell. 2-4 db/journals/amai/amai14.html#RajasekarY95