An efficient labelled nested multiset unification algorithm
Crossref DOI link: https://doi.org/10.1007/s41965-021-00076-0
Published Online: 2021-05-26
Published Print: 2021-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Liu, Yezhou http://orcid.org/0000-0002-9296-7408
Nicolescu, Radu
Sun, Jing
Text and Data Mining valid from 2021-05-26
Version of Record valid from 2021-05-26
Article History
Received: 22 December 2020
Accepted: 24 March 2021
First Online: 26 May 2021