1. Acyclic programs;Apt;New Generation Computing,1991
2. M. Baker, T.E. Boult, Pruning Bayesian networks for efficient computation, in: Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI-90), Cambridge, MA, 1990, pp. 257–264
3. C. Boutilier, R. Dearden, M. Goldszmidt, Exploiting structure in policy construction, in: Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Montréal, Québec, 1995, pp. 1104–1111
4. Symbolic Logical and Mechanical Theorem Proving;Chang,1973
5. K.L. Clark, Negation as failure, in: H. Gallaire, J. Minker (Eds.), Logic and Databases, Plenum Press, New York, 1978, pp. 293–322