@software{alexander_steen_2021_5578872, author = {Alexander Steen}, title = {scala-tptp-parser v1.4}, month = oct, year = 2021, publisher = {Zenodo}, version = {v1.4}, doi = {10.5281/zenodo.5578872}, url = {https://doi.org/10.5281/zenodo.5578872} }