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

Methods attributed to this author. 1 method