Jennifer Chubb, Jeffry L. Hirst, Timothy H. McNicholl. Reverse mathematics, computability, and partitions of trees. Journal of Symbolic Logic, 74(1):201-215, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.