Andreas Fellner, Bruno Woltzenlogel Paleo. Greedy pebbling for proof space compression. STTT, 21(1):71-86, 2019. [doi]
@article{FellnerP19,
title = {Greedy pebbling for proof space compression},
author = {Andreas Fellner and Bruno Woltzenlogel Paleo},
year = {2019},
doi = {10.1007/s10009-017-0459-0},
url = {https://doi.org/10.1007/s10009-017-0459-0},
researchr = {https://researchr.org/publication/FellnerP19},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {21},
number = {1},
pages = {71-86},
}