1. Weighted voting doesn't work: a mathematical analysis;J Banzhaf;Rutgers Law Review,1965
2. RelView -A system for calculation with relations and relational programming;R Behnke;Proc. Conf. "Fundamental Approaches to Software Engineering (FASE '98),1998
3. Modelling sequences within the RelView system;R Berghammer;Journal of Universal Computer Science,2001
4. Relation-algebraic analysis of Petri nets with RelView;R Berghammer;Proc. 2nd Workshop "Tools and Applications for the Construction and Analysis of Systems (TACAS '96),1996
5. Implementation of relational algebra using binary decision diagrams;R Berghammer;Proc. 6th Int. Workshop "Relational Methods in Computer Science,2002