Rudolf Berghammer, Frank Neumann. RelView - An OBDD-Based Computer Algebra System for Relations. In Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings. Volume 3718 of Lecture Notes in Computer Science, pages 40-51, Springer, 2005. [doi]
Abstract is missing.