Before revision:  [ALENEX 2017]  and Funke and Storandt [ EWCG 2017].
After revision:  [ALENEX 2017] and Funke and Storandt [ EuroCG 2017].