In the paper configuration spaces: applications to Gelfand-Fuks cohomology, by F. Cohen and L. Taylor, Bull. Amer. Math. Soc., 1978, theorem 1, I did not find the proof. What method did the author use to obtain Theorem 1?
Theorem 1:
Let $M=R^n\times V$, $V$ connected, $M$ a manifold of dimension $m$. How to obtain the cohomology ring $H^*(F(M,k);\mathbb{F})$, where $F(M,k)$ is the ordered configuration space, $\mathbb{F}$ is a field?
Where could I find the proof?