Clausal Resolution for Modal Logics of Confluence.

Cludia Nalon, Joo Marcos, Clare Dixon

Browse the full CADE paper archive.