Displaying similar documents to “Additive Relations among Recursive Equivalence Types.”