Bernard A. Anderson, Jeffry L. Hirst. Partitions of trees and ACA ::0::. Arch. Math. Log., 48(3-4):227-230, 2009. [doi]
@article{AndersonH09,
title = {Partitions of trees and ACA ::0::},
author = {Bernard A. Anderson and Jeffry L. Hirst},
year = {2009},
doi = {10.1007/s00153-009-0122-x},
url = {http://dx.doi.org/10.1007/s00153-009-0122-x},
tags = {partitioning},
researchr = {https://researchr.org/publication/AndersonH09},
cites = {0},
citedby = {0},
journal = {Arch. Math. Log.},
volume = {48},
number = {3-4},
pages = {227-230},
}