%0 Journal Article %1 journals/jsyml/AguileraB19 %A Aguilera, Juan P. %A Baaz, Matthias %D 2019 %J J. Symb. Log. %K dblp %N 1 %P 102-122 %T Unsound Inferences Make Proofs Shorter. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml84.html#AguileraB19 %V 84

@article{journals/jsyml/AguileraB19, added-at = {2023-08-28T00:00:00.000+0200}, author = {Aguilera, Juan P. and Baaz, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/28a3acfe2df2944052efbdbae94dcad63/dblp}, ee = {https://www.wikidata.org/entity/Q113858288}, interhash = {0f4ddc01574cca3b33dce401d7829776}, intrahash = {8a3acfe2df2944052efbdbae94dcad63}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 1, pages = {102-122}, timestamp = {2024-04-08T12:22:10.000+0200}, title = {Unsound Inferences Make Proofs Shorter.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml84.html#AguileraB19}, volume = 84, year = 2019 }