%0 Book Section %1 Baader2020-qt %A Baader, Franz %A Kapur, Deepak %B Automated Reasoning %C Cham %D 2020 %I Springer International Publishing %K %P 163--180 %T Deciding the word problem for ground identities with commutative and extensional symbols

@incollection{Baader2020-qt, added-at = {2024-09-10T11:56:37.000+0200}, address = {Cham}, author = {Baader, Franz and Kapur, Deepak}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/23cd667ee8d19c7c2c78007f493df61fe/scadsfct}, booktitle = {Automated Reasoning}, interhash = {a04c4a0ef868deb351055979cfa10209}, intrahash = {3cd667ee8d19c7c2c78007f493df61fe}, keywords = {}, pages = {163--180}, publisher = {Springer International Publishing}, series = {Lecture notes in computer science}, timestamp = {2024-09-10T15:15:57.000+0200}, title = {Deciding the word problem for ground identities with commutative and extensional symbols}, year = 2020 }