%0 Book Section
%1 Baader2020-qt
%A Baader, Franz
%A Kapur, Deepak
%B Automated Reasoning
%C Cham
%D 2020
%I Springer International Publishing
%K zno
%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 = {zno},
pages = {163--180},
publisher = {Springer International Publishing},
series = {Lecture notes in computer science},
timestamp = {2025-07-29T10:29:15.000+0200},
title = {Deciding the word problem for ground identities with commutative and extensional symbols},
year = 2020
}
