Random resolution refutations
Crossref DOI link: https://doi.org/10.1007/s00037-019-00182-7
Published Online: 2019-04-22
Published Print: 2019-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Pudlák, Pavel
Thapen, Neil
Text and Data Mining valid from 2019-04-22
Article History
Received: 15 July 2017
First Online: 22 April 2019