Д. Г. Левенец, М. А. Зотов, and А. Л. Тулупьев, “An Incremental Algorithm for Minimal Joint Graph Synthesis”, CTE, no. 6, pp. 3-18, Dec. 2015.