Engelfriet, Joost. 1975. “Copying Theorems”. DAIMI Report Series 4 (48). https://doi.org/10.7146/dpb.v4i48.6467.