An Axiomatization of Harsanyi's Nontransferable Utility Solution
A set of axioms is proposed, which uniquely characterize the
Harsanyi  soluton for nontransferable utility (NTU) games.
These axioms appear formally identical to those of Aumann 
for the Shapley ("λ-transfer")
NTU value; the difference
lies in the range of the two solutions.
Further characterizations and comparisons between these two
solution concepts are then presented.
Econometrica 53 (1985), 6, 1295-1313