Dan Geiger, Christopher Meek. Quantifier Elimination for Statistical Problems. In Kathryn B. Laskey, Henri Prade, editors, UAI 99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30-August 1, 1999. pages 226-235, Morgan Kaufmann, 1999. [doi]
Abstract is missing.