 | Up a level |
Nalon, Cláudia, Dixon, Clare and Hustadt, Ullrich 
ORCID: 0000-0002-0455-0267
(2019)
Modal Resolution: Proofs, Layers, and Refinements.
ACM Trans. Comput. Log., 20.
23:1 - 23:1.
Nalon, Cláudia, Zhang, Lan, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, Ullrich ORCID: 0000-0002-0455-0267
(2014)
A Resolution Prover for Coalition Logic.
.
Nalon, Cláudia, Zhang, Lan, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, Ullrich ORCID: 0000-0002-0455-0267
(2014)
A resolution-based calculus for Coalition Logic.
Journal of Logic and Computation, 24 (4).
883 - 917.
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.