A Survey of Reasoning for Substitution Relationships: Definitions, Methods, and Directions. - Anxin Yang; Zhijuan Du; Tao Sun (CoRR, 2024)