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