Functions-as-constructors higher-order unification: extended pattern unification
Crossref DOI link: https://doi.org/10.1007/s10472-021-09774-y
Published Online: 2021-09-30
Published Print: 2022-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Libal, Tomer http://orcid.org/0000-0003-3261-0180
Miller, Dale
Text and Data Mining valid from 2021-09-30
Version of Record valid from 2021-09-30
Article History
Accepted: 10 September 2021
First Online: 30 September 2021