Опарин, В.В., Тулупьев, А.Л.: Синтез графа смежности с минимальным числом ребер: формализация алгоритма и анализ его корректности. Труды СПИИРАН(11), 142-157 (2009). doi:10.15622/sp.11.8