Emmanuel M. Tadjouddine, Frank Guerin, Wamberto Weber Vasconcelos. Abstracting and Verifying Strategy-Proofness for Auction Mechanisms. In Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff, editors, Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers. Volume 5397 of Lecture Notes in Computer Science, pages 197-214, Springer, 2008.
Abstract is missing.