As both the Witten-Bell and Kneser-Ney variants are fairly well known, we do not describe them further.
as Brants' approach (to our knowledge) has not been used elsewhere, and because it needs to be modified for our purposes, we show the version of the algorithm we use in Figure 1.