María Alpuente, Demis Ballis, Santiago Escobar 0001, Julia Sapiña. Variant-Based Equational Anti-unification. In Alicia Villanueva, editor, Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings. Volume 13474 of Lecture Notes in Computer Science, pages 44-60, Springer, 2022. [doi]
Abstract is missing.