@inproceedings{Simpson:2017:CAE:3080372.3080394,
    Address = {New York, NY, USA},
    Author = {Simpson, Alex},
    BookTitle = {Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures - Volume 10203},
    ISBN = {978-3-662-54457-0},
    Pages = {283--300},
    Publisher = {Springer-Verlag New York, Inc.},
    Title = {Cyclic Arithmetic Is Equivalent to Peano Arithmetic},
    URL = {https://doi.org/10.1007/978-3-662-54458-7\_17},
    Year = {2017},
    acmid = {3080394},
    bdsk-url-1 = {https://doi.org/10.1007/978-3-662-54458-7\_17},
    date-added = {2019-07-11 10:47:03 +0100},
    date-modified = {2019-07-11 10:47:03 +0100},
    numpages = {18},
    doi = {10.1007/978-3-662-54458-7_17}
}

@inproceedings{Simpson:2017:CAE:3080372.3080394, Address = {New York, NY, USA}, Author = {Simpson, Alex}, BookTitle = {Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures - Volume 10203}, ISBN = {978-3-662-54457-0}, Pages = {283--300}, Publisher = {Springer-Verlag New York, Inc.}, Title = {Cyclic Arithmetic Is Equivalent to Peano Arithmetic}, URL = {https://doi.org/10.1007/978-3-662-54458-7_17}, Year = {2017}, acmid = {3080394}, bdsk-url-1 = {https://doi.org/10.1007/978-3-662-54458-7_17}, date-added = {2019-07-11 10:47:03 +0100}, date-modified = {2019-07-11 10:47:03 +0100}, numpages = {18}, doi = {10.1007/978-3-662-54458-7_17} }