Satisfiability and completeness of protocols for electronic negotiations (2005)

by G E Kersten, H Lai
Venue:European Journal of Operational Research