Satisfiability and completeness of protocols for electronic negotiations

Gregory E. Kersten, Hsiangchu Lai. Satisfiability and completeness of protocols for electronic negotiations. European Journal of Operational Research, 180(2):922-937, 2007. [doi]

Abstract

Abstract is missing.