APA (7th ed.) Citation

Baumgartner, A., & Nantes-Sobrinho, D. (2026). Nominal anti-unification modulo equational theories. Journal of logical and algebraic methods in programming, 149, 101100. https://doi.org/10.1016/j.jlamp.2025.101100

Chicago Style (17th ed.) Citation

Baumgartner, Alexander, and Daniele Nantes-Sobrinho. "Nominal Anti-unification Modulo Equational Theories." Journal of Logical and Algebraic Methods in Programming 149 (2026): 101100. https://doi.org/10.1016/j.jlamp.2025.101100.

MLA (9th ed.) Citation

Baumgartner, Alexander, and Daniele Nantes-Sobrinho. "Nominal Anti-unification Modulo Equational Theories." Journal of Logical and Algebraic Methods in Programming, vol. 149, 2026, p. 101100, https://doi.org/10.1016/j.jlamp.2025.101100.