_id,doi,title
1073,10.1007/s00454-016-9855-6,Algorithmic solvability of the lifting extension problem