M. de Oliveira Oliveira, “Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth”, AAAI, vol. 39, no. 14, pp. 14867–14874, Apr. 2025.