Iteration 1

History exploration (blue nodes were just explored, red nodes will be explored next):

Domination set of c2 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of b2 (green nodes are dominated by the red node, frontier nodes have a different shape):

Iteration 2

History exploration (blue nodes were just explored, red nodes will be explored next):

Domination set of c1 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of b1 (green nodes are dominated by the red node, frontier nodes have a different shape):

Iteration 3

This is the last iteration. a is the domiantor.

History exploration (blue nodes were just explored, red nodes will be explored next):

Domination set of a (green nodes are dominated by the red node, frontier nodes have a different shape):