@software{alexander_steen_2021_4540273, author = {Alexander Steen}, title = {rio: Reasoner for Input/Output Logic}, month = feb, year = 2021, publisher = {Zenodo}, version = {v1.0}, doi = {10.5281/zenodo.4540273}, url = {https://doi.org/10.5281/zenodo.4540273} }