Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho. Fixed-Point Constraints for Nominal Equational Unification. In Hélène Kirchner, editor, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK. Volume 108 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
Abstract is missing.