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

Metody připisované tomuto autorovi. 1 metoda