@misc{frank_2018_1429417, author = {Frank}, title = {UP versus NP}, month = sep, year = 2018, publisher = {Zenodo}, doi = {10.5281/zenodo.1429417}, url = {https://doi.org/10.5281/zenodo.1429417} }