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

שיטות המיוחסות למחבר זה. שיטה 1