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]
@inproceedings{BerghammerN05,
title = {RelView - An OBDD-Based Computer Algebra System for Relations},
author = {Rudolf Berghammer and Frank Neumann},
year = {2005},
doi = {10.1007/11555964_4},
url = {http://dx.doi.org/10.1007/11555964_4},
tags = {rule-based, algebra},
researchr = {https://researchr.org/publication/BerghammerN05},
cites = {0},
citedby = {0},
pages = {40-51},
booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings},
editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov},
volume = {3718},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-28966-6},
}