@misc{indiciae14c3a568fb73, title = {Equational Anti-Unification over Absorption Theories}, author = {Mauricio Ayala-Rincon and David M. Cerna and Andres Felipe Gonzalez Barragan and Temur Kutsia}, year = {2023}, doi = {10.1007/978-3-031-63501-4\_17}, url = {https://arxiv.org/abs/2310.11136}, note = {Source identifier: 2310.11136} }