Zheng, Zhi Hong (2004) On efficient fixpoint computation of deductive databases with uncertainty. Masters thesis, Concordia University.