Compilation of disjunctive logic programs using an extended WAM | IEEE Conference Publication | IEEE Xplore