L. C. Carvalho,  "A Constructive Proof of Nash Bargaining Solution", in Game Theory and Applications,, 2013