//-->
Stable Sets in Three Agent Pillage Games
Kerber, Manfred, (2009)
Stable Sets in multi-good pillage games are small
Breardon, Alan F., (2010)
Sufficient Conditions for the Unique Stable Sets in Three Agent Pillage Games
Kerber, Manfred, (2012)
A Ramsey Bound on Jordan Stable Sets
Sound Auction Specification and Implementation
Caminati, Marco B, (2015)
A Formal Proof of Vickrey's Theorem by Blast, Simp, and Rule
Kerber, Manfred, (2014)