Paterson–Stockmeyer algorithm

GPTKB entity