Distributed Domain Propagation. - Robert Lion Gottwald; Stephen J. Maher; Yuji Shinano (SEA, 2017)