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