SCL(EQ): SCL for First-Order Logic with Equality
Crossref DOI link: https://doi.org/10.1007/s10817-023-09673-3
Published Online: 2023-06-30
Published Print: 2023-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Leidinger, Hendrik
Weidenbach, Christoph
Funding for this research was provided by:
Max Planck Institute for Informatics
Text and Data Mining valid from 2023-06-30
Version of Record valid from 2023-06-30
Article History
Received: 8 February 2023
Accepted: 6 June 2023
First Online: 30 June 2023