Publication

Betting boolean-style: A framework for trading in securities based on logical formulas

Source:

ACM Conference on Electronic Commerce, p.144--155 (2003)