Constructive Decision via Redundancy-Free Proof-Search
Crossref DOI link: https://doi.org/10.1007/s10817-020-09555-y
Published Online: 2020-06-24
Published Print: 2020-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Larchey-Wendling, Dominique http://orcid.org/0000-0001-9860-7203
Funding for this research was provided by:
ANR-FWF TICAMORE (ANR-16-CE91-0002)
Text and Data Mining valid from 2020-06-24
Version of Record valid from 2020-06-24
Article History
Received: 17 April 2020
Accepted: 20 April 2020
First Online: 24 June 2020