Canonical subalgebra bases (aka SAGBI/Khovanskii bases)