%0 Conference Paper %1 conf/cade/NalonHD16 %A Nalon, Cláudia %A Hustadt, Ullrich %A Dixon, Clare %B IJCAR %D 2016 %E Olivetti, Nicola %E Tiwari, Ashish %I Springer %K %P 406-415 %T : A Resolution-Based Prover for Multimodal K. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#NalonHD16 %V 9706 %@ 978-3-319-40228-4

@inproceedings{conf/cade/NalonHD16, added-at = {2023-12-13T00:33:41.000+0100}, author = {Nalon, Cláudia and Hustadt, Ullrich and Dixon, Clare}, biburl = {https://www.bibsonomy.org/bibtex/23b03abc8d99852b6c4348b58cf072f91/admin}, booktitle = {IJCAR}, crossref = {conf/cade/2016}, editor = {Olivetti, Nicola and Tiwari, Ashish}, ee = {https://doi.org/10.1007/978-3-319-40229-1_28}, interhash = {651e1b3904842252388969e972a9339c}, intrahash = {3b03abc8d99852b6c4348b58cf072f91}, isbn = {978-3-319-40228-4}, keywords = {}, pages = {406-415}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:33:41.000+0100}, title = {: A Resolution-Based Prover for Multimodal K.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#NalonHD16}, volume = 9706, year = 2016 }