TY  - RPRT
TI  - Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories
AU  - Daniele Nantes-Sobrinho
AU  - Manfred Schmidt-Schauss
AU  - Alexander Baumgartner
AU  - Temur Kutsia
PY  - 2025
UR  - https://arxiv.org/abs/2502.19306
ID  - 2502.19306
ER  -