The top documents tagged [problem1112013 icccs]