Berghammer, Rudolf; Swart, Harrie De; Rusinowska, Agnieszka - HAL - 2007
We present an application of relational algebra to coalition formation. This leads to specifications, which can be executed with the help of the RelView tool after a simple translation into the tool's programming language. As an example we consider a simplification of the situation in Poland...