Expert Systems in Data Processing: Applications Using IBM Knowledge ToolJoseph HellersteinDavid Kleinet al.1989CMG 1989Conference paper
A partition theorem for the infinite subtrees of a treeKeith R. Milliken1981Trans. Am. Math. Soc.Paper