_id,doi,title
2716,10.1007/s00236-013-0182-6,Strategy synthesis for multi-dimensional quantitative objectives