Quantifier elimination for statistical problems (1999)

by D Geiger, C Meek
Venue:Proceedings of 15th Conference on Uncertainty in Artificial Intelligence