Dusan Knop Tomás Masarík Computational complexity of distance edge labeling. 80-98 2018 246 Discret. Appl. Math. https://doi.org/10.1016/j.dam.2017.01.007 db/journals/dam/dam246.html#KnopM18