DWAM - A WAM Model Extension for Disjunctive Logic Programming. - Arcot Rajasekar; H. Yusuf (Ann. Math. Artif. Intell., 1995)