sf Kn : Architecture, Refinements, Strategies and Experiments.



Nalon, Cláudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare
(2020) sf Kn : Architecture, Refinements, Strategies and Experiments. J. Autom. Reason., 64. pp. 461-484.

[thumbnail of jar-2017.pdf] Text
jar-2017.pdf - Author Accepted Manuscript

Download (537kB) | Preview
Item Type: Article
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 02 Aug 2021 10:27
Last Modified: 18 Jan 2023 21:35
DOI: 10.1007/s10817-018-09503-x
URI: https://livrepository.liverpool.ac.uk/id/eprint/3131112