Cita APA (7a ed.)

Nantes-Sobrinho, D., Schmidt-Schauss, M., Baumgartner, A., & Kutsia, T. (2025). Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories.

Cita Chicago Style (17a ed.)

Nantes-Sobrinho, Daniele, Manfred Schmidt-Schauss, Alexander Baumgartner, y Temur Kutsia. Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories. 2025.

Cita MLA (9a ed.)

Nantes-Sobrinho, Daniele, et al. Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories. 2025.