_id,doi,title
6563,10.1007/s10208-019-09419-x,Are two given maps homotopic? An algorithmic viewpoint