@inproceedings{inproceedings, title = {{A repository for Tarski-Kleene algebras}}, url = {{}}, year = {{2011}}, month = {{12}}, author = {{Guttmann W and Struth G and Weber T}}, volume = {{760}}, journal = {{CEUR Workshop Proceedings}}, pages = {{30-39}}, note = {{Accessed on 2025/05/17}}}