Greg A. Keim Noam M. Shazeer Michael L. Littman Sushant Agarwal Catherine M. Cheves Joseph Fitzgerald Jason Grosland Fan Jiang Shannon Pollard Karl Weinmeister PROVERB: The Probabilistic Cruciverbalist. 710-717 1999 AAAI/IAAI db/conf/aaai/aaai99.html#KeimSLACFGJPW99