Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho, Deivid Val. On Solving Nominal Disunification Constraints. In Amy P. Felty, João Marcos 0001, editors, Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019. Volume 348 of Electronic Notes in Theoretical Computer Science, pages 3-22, Elsevier, 2020. [doi]
Abstract is missing.