@inproceedings{inproceedings, title = {{Relational and Algebraic Methods in Computer Science}}, publisher = {{Springer International Publishing}}, url = {{}}, year = {{2017}}, month = {{1}}, author = {{}}, doi = {{10.1007/978-3-319-57418-9}}, isbn = {{9783319574172}}, note = {{Accessed on 2025/07/05}}}