%0 Journal Article %1 journals/jsc/BerarducciZ93 %A Berarducci, Alessandro %A Zilli, Marisa Venturini %D 1993 %J J. Symb. Comput. %K dblp %N 5 %P 479-491 %T Generalizations of Unification. %U http://dblp.uni-trier.de/db/journals/jsc/jsc16.html#BerarducciZ93 %V 16

@article{journals/jsc/BerarducciZ93, added-at = {2021-02-17T00:00:00.000+0100}, author = {Berarducci, Alessandro and Zilli, Marisa Venturini}, biburl = {https://www.bibsonomy.org/bibtex/20ceaa1d995329e0f61432943d37d3a92/dblp}, ee = {https://doi.org/10.1006/jsco.1993.1059}, interhash = {805467d79991c4e6496a2965c02bfb31}, intrahash = {0ceaa1d995329e0f61432943d37d3a92}, journal = {J. Symb. Comput.}, keywords = {dblp}, number = 5, pages = {479-491}, timestamp = {2024-04-09T05:33:20.000+0200}, title = {Generalizations of Unification.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc16.html#BerarducciZ93}, volume = 16, year = 1993 }