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. 461 - 484.

[img] Text
jar-2017.pdf - Accepted Version

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 Sep 2021 03:10
DOI: 10.1007/s10817-018-09503-x
URI: https://livrepository.liverpool.ac.uk/id/eprint/3131112