TY  - RPRT
TI  - Equational Anti-Unification over Absorption Theories
AU  - Mauricio Ayala-Rincon
AU  - David M. Cerna
AU  - Andres Felipe Gonzalez Barragan
AU  - Temur Kutsia
PY  - 2023
DO  - 10.1007/978-3-031-63501-4_17
UR  - https://arxiv.org/abs/2310.11136
ID  - 2310.11136
ER  -