Challenges in Fixpoint Computation with Multisets. - Nematollaah Shiri; Zhi Hong Zheng (FoIKS, 2004)

Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty. - Nematollaah Shiri; Zhi Hong Zheng (CSICC, 2008)