KSP: A Resolution-based Prover for Multimodal K, Abridged Report.

Cludia Nalon, Ullrich Hustadt, Clare Dixon

Browse the full IJCAI paper archive.