=Paper= {{Paper |id=Vol-4244/paper38 |storemode=property |title=Recursive Self-Identification at the $\Sigma_1/\Pi_{1}$ Boundary |pdfUrl=https://ceur-ws.org/Vol-4244/paper38.pdf |volume=Vol-4244 |authors=Domenico Cantone,Eugenio Omodeo,Stefano Savino }} ==Recursive Self-Identification at the $\Sigma_1/\Pi_{1}$ Boundary== https://ceur-ws.org/Vol-4244/paper38.pdf
None