TY  - RPRT
TI  - Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
AU  - Victor David
AU  - Jérôme Delobelle
AU  - Jean-Guy Mailly
PY  - 2026
UR  - https://arxiv.org/abs/2604.12534
ID  - 2604.12534
ER  -