Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth.

Mateus de Oliveira Oliveira

Browse the full AAAI paper archive.