%0 Journal Article %1 journals/logcom/MasiniVV11 %A Masini, Andrea %A Viganò, Luca %A Volpe, Marco %D 2011 %J J. Log. Comput. %K %N 6 %P 1093-1163 %T Labelled natural deduction for a bundled branching temporal logic. %U http://dblp.uni-trier.de/db/journals/logcom/logcom21.html#MasiniVV11 %V 21

@article{journals/logcom/MasiniVV11, added-at = {2023-12-13T02:35:27.000+0100}, author = {Masini, Andrea and Viganò, Luca and Volpe, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2d04534de3c80d5764c6fb8432f2f9457/admin}, ee = {http://dx.doi.org/10.1093/logcom/exq028}, interhash = {812115f1507683bb7b5338c71784d53b}, intrahash = {d04534de3c80d5764c6fb8432f2f9457}, journal = {J. Log. Comput.}, keywords = {}, number = 6, pages = {1093-1163}, timestamp = {2023-12-13T02:35:27.000+0100}, title = {Labelled natural deduction for a bundled branching temporal logic.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom21.html#MasiniVV11}, volume = 21, year = 2011 }