616087.fig.004
Figure 4: Hasse diagram of all and only decidable fragments of HS over finite linear orders.