S. Y. Luzin and O. B. Polubasov, “Identification of the largest complete subgraph in design automation tasks”, TKEA, no. 4, pp. 22-25, Aug. 2003.