Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch’s trick
Crossref DOI link: https://doi.org/10.1007/s13398-020-00874-8
Published Online: 2020-07-02
Published Print: 2020-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ladra, Manuel http://orcid.org/0000-0002-0543-4508
Páez-Guillán, Pilar
Recio, Tomás
Funding for this research was provided by:
Agencia Estatal de Investigación
Text and Data Mining valid from 2020-07-02
Version of Record valid from 2020-07-02
Article History
Received: 26 May 2019
Accepted: 12 May 2020
First Online: 2 July 2020