First-Order Bayesian Reasoning. - Ingrid Fabian; Dale A. Lambert (Australian Joint Conference on Artificial Intelligence, 1998)