1. Behnke R., Berghammer R., Meyer E., Schneider P.: RelView–a system for calculation with relations and relational programming. In: Astesiano, E. (eds) Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, vol. 1382, pp. 318–321. Springer, Berlin (1998)
2. Berghammer R.: Computation of cut completions and concept lattices using relation algebra and RelView. J. Relat. Methods Comput. Sci. 1, 50–72 (2004)
3. Berghammer R., Neumann F.: RelView—an OBDD-based computer algebra system for relations. In: Gansha, V.G., Mayr, E.W., Vorozhtsov, E. (eds) Computer Algebra in Scientific Computing, Lecture Notes in Computer Science, vol. 3718, pp. 40–51. Springer, Berlin (2005)
4. Berghammer R., Schmidt G.: Algebraic visualization of relations using RelView. In: Gansha, V.G., Mayr, E.W., Vorozhtsov, E. (eds) Computer Algebra in Scientific Computing, Lecture Notes in Computer Science, vol. 4770, pp. 58–72. Springer, Berlin (2007)
5. Bona M.: A Walk Through Combinatorics: An Introduction to Combinatorics and Graph Theory. World Scientific Publishing, New Jersey (2002)