McCreight's algorithm

GPTKB entity