KSP A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Strategies and Experiments

Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, CL ORCID: 0000-0002-4610-9533 (2018) KSP A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Strategies and Experiments. Journal of Automated Reasoning.

Text jar-2017.pdf - Author Accepted Manuscript Access to this file is restricted: awaiting official publication and publisher embargo. Download (537kB)

Item Type:	Article
Depositing User:	Symplectic Admin
Date Deposited:	29 Nov 2018 08:57
Last Modified:	19 Jan 2023 01:11
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3029182

Available Versions of this Item

• KSP A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Strategies and Experiments. (deposited 23 Nov 2018 10:04)
  • KSP A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Strategies and Experiments. (deposited 29 Nov 2018 08:57) [Currently Displayed]
    • A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Strategies and Experiments. (deposited 16 Jan 2019 10:55)