@incollection{Batini_1975,
    doi = {10.1007/bfb0029533},
    url = {https://doi.org/10.1007%2Fbfb0029533},
    year = {1975},
    publisher = {Springer Berlin Heidelberg},
    pages = {297--311},
    author = {Carlo Batini and Alberto Pettorossi},
    title = {On subrecursiveness in weak combinatory logic},
    booktitle = {Lecture Notes in Computer Science}
}

@incollection{Batini_1975, doi = {10.1007/bfb0029533}, url = {https://doi.org/10.1007%2Fbfb0029533}, year = {1975}, publisher = {Springer Berlin Heidelberg}, pages = {297--311}, author = {Carlo Batini and Alberto Pettorossi}, title = {On subrecursiveness in weak combinatory logic}, booktitle = {Lecture Notes in Computer Science} }