1. F. Bacchus, 1988 . Representing and reasoning with probabilistic knowledge . Ph. D. thesis , University of Alberta, Edmonton, Alta. Also issued as Technical Report CS-88-31, University of Waterloo, Waterloo, Ont.
2. P. Cheeseman, 1985 . In defense of probability . Proceedings of the Ninth International Joint Conference onArtificial Intelligence, Los Angeles, CA, pp.1002 -1009 .
3. Production rules as a representation for a knowledge-based consultation program☆
4. Decision procedures and expressiveness in the temporal logic of branching time