%0 Journal Article %1 journals/jar/LeidingerW23 %A Leidinger, Hendrik %A Weidenbach, Christoph %D 2023 %J J. Autom. Reason. %K dblp %N 3 %P 22 %T SCL(EQ): SCL for First-Order Logic with Equality. %U http://dblp.uni-trier.de/db/journals/jar/jar67.html#LeidingerW23 %V 67

@article{journals/jar/LeidingerW23, added-at = {2023-09-12T00:00:00.000+0200}, author = {Leidinger, Hendrik and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2e05ac4c67fc2d384ae505558d09362a8/dblp}, ee = {https://doi.org/10.1007/s10817-023-09673-3}, interhash = {412e641e6b1f580831acf666a291dccb}, intrahash = {e05ac4c67fc2d384ae505558d09362a8}, journal = {J. Autom. Reason.}, keywords = {dblp}, month = {September}, number = 3, pages = 22, timestamp = {2024-04-09T05:03:12.000+0200}, title = {SCL(EQ): SCL for First-Order Logic with Equality.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar67.html#LeidingerW23}, volume = 67, year = 2023 }