DAMAS 2013 第 10 届国际会议论文集，都柏林，2013 年 7 月 8 日至 10 日，第 1156-1163 页。