Nathan Mantel (1973); D. C. Thomas (1977 formalization)

Kaedah yang dikaitkan dengan pengarang ini. 1 kaedah