Exercises marked with (*) require further reading/search beyond the suggested texts.
3. Reduce the tree in Figure 3 of Booth and Lueker's 1976 paper with respect to S = {E, K}. Here also the online implementation above can help you.
Answer:
© 2015 Joao Meidanis