The first one reproduces the construction in section 5 of Hutter’s paper, I think. The others are described here and here.
The first one reproduces the construction in section 5 of Hutter’s paper, I think. The others are described here and here.