History exploration (blue nodes were just explored, red nodes will be explored next):
Domination set of A2 (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):
This is the last iteration. B3 is the domiantor.
History exploration (blue nodes were just explored, red nodes will be explored next):
Domination set of B3 (green nodes are dominated by the red node, frontier nodes have a different shape):
