_id,doi,title
6681,10.15479/AT:ISTA:6681,Algorithmic aspects of homotopy theory and embeddability