1. On critical graphs;Andrásfai,1967
2. Sur une conjecture relative au problème des codes optimaux, comm. 13e assemblée générale de l'URSI, Tokyo;Berge,1962
3. Edmons polytopes and a hierarchy of combinatorial problems;Chvátal;Discrete Math.,1973
4. The complexity of theorem-proving procedures;Cook,1970