David Fernández Duque. Worms and Spiders: Reflection Calculi and Ordinal Notation Systems. FLAP, 4(10):3277-3356, 2017. [doi]
@article{Fernandez-Duque17, title = {Worms and Spiders: Reflection Calculi and Ordinal Notation Systems}, author = {David Fernández Duque}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00019}, researchr = {https://researchr.org/publication/Fernandez-Duque17}, cites = {0}, citedby = {0}, journal = {FLAP}, volume = {4}, number = {10}, pages = {3277-3356}, }