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

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

Text jar-2017(1).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:	23 Nov 2018 10:04
Last Modified:	19 Jan 2023 01:11
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3029034

Available Versions of this Item

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