%0 Journal Article %1 journals/amai/LibalM22 %A Libal, Tomer %A Miller, Dale %D 2022 %J Ann. Math. Artif. Intell. %K dblp %N 5 %P 455-479 %T Functions-as-constructors higher-order unification: extended pattern unification. %U http://dblp.uni-trier.de/db/journals/amai/amai90.html#LibalM22 %V 90

@article{journals/amai/LibalM22, added-at = {2022-06-23T00:00:00.000+0200}, author = {Libal, Tomer and Miller, Dale}, biburl = {https://www.bibsonomy.org/bibtex/28fb619dfc53ff1f42241a3957f851482/dblp}, ee = {https://doi.org/10.1007/s10472-021-09774-y}, interhash = {80a559f5ac85b7ac2676a94fc35789aa}, intrahash = {8fb619dfc53ff1f42241a3957f851482}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = 5, pages = {455-479}, timestamp = {2024-04-08T16:48:48.000+0200}, title = {Functions-as-constructors higher-order unification: extended pattern unification.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai90.html#LibalM22}, volume = 90, year = 2022 }