Up a level |
Number of items: 1.
Nalon, C, Marcos, J and Dixon, C
(2014)
Clausal Resolution for Modal Logics of Confluence.
In: International Joint Conference on Automated Reasoning (IJCAR), Vienna University of Technology.
(In Press)