Lance Fortnow Joe Kilian David M. Pennock Michael P. Wellman Betting Boolean-style: a framework for trading in securities based on logical formulas. 87-104 2005 39 Decision Support Systems 1 http://dx.doi.org/10.1016/j.dss.2004.08.010 db/journals/dss/dss39.html#FortnowKPW05