Craig Interpolation with Clausal First-Order Tableaux
Crossref DOI link: https://doi.org/10.1007/s10817-021-09590-3
Published Online: 2021-05-27
Published Print: 2021-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Wernhard, Christoph http://orcid.org/0000-0002-0438-8829
Funding for this research was provided by:
Deutsche Forschungsgemeinschaft (WE 5641/1-1)
Text and Data Mining valid from 2021-05-27
Version of Record valid from 2021-05-27
Article History
Received: 18 October 2018
Accepted: 27 March 2021
First Online: 27 May 2021