DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:ISTA:7896,7896,"KrPi,GradSch",On the average-case hardness of total search problems