%0 Journal Article %1 journals/mscs/BaaderMMO20 %A Baader, Franz %A Marantidis, Pavlos %A Mottet, Antoine %A Okhotin, Alexander %D 2020 %J Math. Struct. Comput. Sci. %K dblp %N 6 %P 597-626 %T Extensions of unification modulo ACUI. %U http://dblp.uni-trier.de/db/journals/mscs/mscs30.html#BaaderMMO20 %V 30

@article{journals/mscs/BaaderMMO20, added-at = {2020-11-23T00:00:00.000+0100}, author = {Baader, Franz and Marantidis, Pavlos and Mottet, Antoine and Okhotin, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/2963fe7f0718364e9e0401df40ca0c554/dblp}, ee = {https://doi.org/10.1017/S0960129519000185}, interhash = {6c01af83ca0c1cafb11a2bec60375517}, intrahash = {963fe7f0718364e9e0401df40ca0c554}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 6, pages = {597-626}, timestamp = {2020-11-24T11:34:54.000+0100}, title = {Extensions of unification modulo ACUI.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs30.html#BaaderMMO20}, volume = 30, year = 2020 }