%0 Journal Article %1 journals/jar/BaaderK22 %A Baader, Franz %A Kapur, Deepak %D 2022 %J J. Autom. Reason. %K dblp %N 3 %P 301-329 %T Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols. %U http://dblp.uni-trier.de/db/journals/jar/jar66.html#BaaderK22 %V 66

@article{journals/jar/BaaderK22, added-at = {2022-07-27T00:00:00.000+0200}, author = {Baader, Franz and Kapur, Deepak}, biburl = {https://www.bibsonomy.org/bibtex/2e5ce40f65f1aeda8d905b8f0a0b61fb1/dblp}, ee = {https://doi.org/10.1007/s10817-022-09624-4}, interhash = {aced885659a56e841fbcff356a28f6a6}, intrahash = {e5ce40f65f1aeda8d905b8f0a0b61fb1}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 3, pages = {301-329}, timestamp = {2024-04-09T05:03:07.000+0200}, title = {Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar66.html#BaaderK22}, volume = 66, year = 2022 }