Oparin, V. and Tulupyev, A. 2009. Synthesis of a joint graph with minimal number of edges: an algorithm formalization and a proof of correctness. SPIIRAS Proceedings. 11 (Dec. 2009), 142-157. DOI:https://doi.org/10.15622/sp.11.8.