//-->
On the use of binary decision diagrams for solving problems on simple games
Berghammer, Rudolf, (2012)
A relation-algebraic approach to simple games
Berghammer, Rudolf, (2011)