1. Oparin V., Tulupyev A. Synthesis of a joint graph with minimal number of edges: an algorithm formalization and a proof of correctness // SPIIRAS Proceedings. 2009. № 11. C. 142-157.