Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space
Crossref DOI link: https://doi.org/10.1007/s00037-021-00206-1
Published Online: 2021-05-01
Published Print: 2021-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Torán, Jacobo
Wörz, Florian
Text and Data Mining valid from 2021-05-01
Version of Record valid from 2021-05-01
Article History
Received: 4 July 2020
First Online: 1 May 2021
Change Date: 25 May 2021
Change Type: Update
Change Details: Corrections to references in page 2 and 4 updated and errors to Theorem 4.2 corrected.