Kewen Wang 0001 Huowang Chen Quanyuan Wu The least fixpoint transformation for disjunctive logic programs. 193-201 1998 13 J. Comput. Sci. Technol. 3 https://doi.org/10.1007/BF02943187 db/journals/jcst/jcst13.html#WangCW98