Chabauty's method

GPTKB entity