@inproceedings{Nalon+Hustadt+Dixon@IJCAR2016,
 author    = {Cl{\'{a}}udia Nalon and
              Ullrich Hustadt and
              Clare Dixon},
 title     = {KSP: {A} Resolution-Based Prover for Multimodal {K}},
 booktitle = {Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)},
 pages     = {406--415},
 editor    = {Nicola Olivetti and
              Ashish Tiwari},
 series    = {Lecture Notes in Computer Science},
 volume    = {9706},
 year      = {2016},
}