TY  - RPRT
TI  - Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
AU  - Jose Meseguer
PY  - 2024
UR  - https://arxiv.org/abs/2405.02420
ID  - 2405.02420
ER  -