布尔式投注：基于逻辑公式的证券交易框架

Betting Boolean-style: a framework for trading in securities based on logical formulas

• Lance Fortnow
• Joe Kilian
• David M. Pennock
• Michael P. Wellman