de Oliveira Oliveira, M. Sound Over-Approximation of Equational Reasoning With Variable-Preserving Rules Parameterized by Derivation Depth. AAAI 2025, 39, 14867-14874.