For more details about the Kackar-Harville correction and the Kenward-Roger DF approach, see Kenward and Roger (1997). The Satterthwaite method is described in detail in the MIXED procedure chapter in the SAS/STAT 14.3 User’s Guide (SAS Institute Inc. 2017).