%0 Journal Article %1 journals/jar/SigleyB22 %A Sigley, Sarah %A Beyersdorff, Olaf %D 2022 %J J. Autom. Reason. %K dblp %N 1 %P 1-41 %T Proof Complexity of Modal Resolution. %U http://dblp.uni-trier.de/db/journals/jar/jar66.html#SigleyB22 %V 66

@article{journals/jar/SigleyB22, added-at = {2022-01-21T00:00:00.000+0100}, author = {Sigley, Sarah and Beyersdorff, Olaf}, biburl = {https://www.bibsonomy.org/bibtex/263065507a2214621319224616aa1dbe2/dblp}, ee = {https://doi.org/10.1007/s10817-021-09609-9}, interhash = {73f9adcb93a0c3bab08f4e7e2f28cb6a}, intrahash = {63065507a2214621319224616aa1dbe2}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 1, pages = {1-41}, timestamp = {2024-04-09T05:03:12.000+0200}, title = {Proof Complexity of Modal Resolution.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar66.html#SigleyB22}, volume = 66, year = 2022 }