Lance Fortnow, Joe Kilian, David M. Pennock, Michael P. Wellman. Betting boolean-style: a framework for trading in securities based on logical formulas. In Proceedings 4th ACM Conference on Electronic Commerce (EC-2003), San Diego, California, USA, June 9-12, 2003. pages 144-155, ACM, 2003. [doi]
Abstract is missing.