Manfred Schmidt-Schauss, Teimuraz Kutsia, Jordi Levy, Mateu Villaret,
"Nominal Unification of Higher Order Expressions with Recursive Let"
, in M. Hermenegildo and P. Lopez-Garcia: Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, Serie Lecture Notes in Computer Science (LNCS), Vol. 10184, Springer, Seite(n) 328-344, 2017, ISBN: 978-3-319-63138-7
Original Titel:
Nominal Unification of Higher Order Expressions with Recursive Let
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016