Todd–Coxeter algorithm

GPTKB entity