KSP: A Resolution-Based Prover for Multimodal K. Nalon, C., Hustadt, U., & Dixon, C. In Olivetti, N. & Tiwari, A., editors, Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016), volume 9706, of Lecture Notes in Computer Science, pages 406–415, 2016.
bibtex   
@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},
}

Downloads: 0