Alex Biryukov, Luan Cardoso dos Santos, Daniel Feher, Vesselin Velichkov, Giuseppe Vitto: Automated Truncation of Differential Trails and Trail Clustering in ARX. SAC 2021: 286-307