%0 Journal Article %1 journals/jar/BernreiterLMW24 %A Bernreiter, Michael %A Lolic, Anela %A Maly, Jan %A Woltran, Stefan %D 2024 %J J. Autom. Reason. %K dblp %N 2 %P 8 %T Sequent Calculi for Choice Logics. %U http://dblp.uni-trier.de/db/journals/jar/jar68.html#BernreiterLMW24 %V 68

@article{journals/jar/BernreiterLMW24, added-at = {2024-04-15T00:00:00.000+0200}, author = {Bernreiter, Michael and Lolic, Anela and Maly, Jan and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2022adf631d6bdf84d9e8faa26e23653d/dblp}, ee = {https://doi.org/10.1007/s10817-024-09695-5}, interhash = {e25d3bca4501ec11ce1b92fb5fb6a9ed}, intrahash = {022adf631d6bdf84d9e8faa26e23653d}, journal = {J. Autom. Reason.}, keywords = {dblp}, month = {June}, number = 2, pages = 8, timestamp = {2024-04-22T07:12:34.000+0200}, title = {Sequent Calculi for Choice Logics.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar68.html#BernreiterLMW24}, volume = 68, year = 2024 }