%0 Conference Paper %1 conf/cade/NalonHPD23 %A Nalon, Cláudia %A Hustadt, Ullrich %A Papacchini, Fabio %A Dixon, Clare %B CADE %D 2023 %E Pientka, Brigitte %E Tinelli, Cesare %I Springer %K dblp %P 382-400 %T Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic. %U http://dblp.uni-trier.de/db/conf/cade/cade2023.html#NalonHPD23 %V 14132 %@ 978-3-031-38499-8

@inproceedings{conf/cade/NalonHPD23, added-at = {2023-09-24T00:00:00.000+0200}, author = {Nalon, Cláudia and Hustadt, Ullrich and Papacchini, Fabio and Dixon, Clare}, biburl = {https://www.bibsonomy.org/bibtex/21f62bcbbea5654cd9676f201da7961c6/dblp}, booktitle = {CADE}, crossref = {conf/cade/2023}, editor = {Pientka, Brigitte and Tinelli, Cesare}, ee = {https://doi.org/10.1007/978-3-031-38499-8_22}, interhash = {c0efbd7ab2a729847f0e18afc55cafd8}, intrahash = {1f62bcbbea5654cd9676f201da7961c6}, isbn = {978-3-031-38499-8}, keywords = {dblp}, pages = {382-400}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:11.000+0200}, title = {Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2023.html#NalonHPD23}, volume = 14132, year = 2023 }