"A verifiable protocol for arguing about rejections in negotiation."

Jelle van Veenen, Henry Prakken (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics