В. В. Опарин и А. Л. Тулупьев, Синтез графа смежности с минимальным числом ребер: формализация алгоритма и анализ его корректности, ТС, вып. 11, сс. 142-157, дек. 2009.