: A Resolution-Based Prover for Multimodal K.

Cludia Nalon, Ullrich Hustadt, Clare Dixon

Browse the full CADE paper archive.