Knowledge-Based Version Incompatibility Detection for Deep Learning. - Zhongkai Zhao; Bonan Kou; Mohamed Yilmaz Ibrahim; Muhao Chen 001; Tianyi Zhang 001 (ESEC/SIGSOFT FSE, 2023)