by Andreas Fellner, Bruno Woltzenlogel Paleo
Reference:
Greedy pebbling for proof space compressionAndreas Fellner, Bruno Woltzenlogel PaleoInternational Journal on Software Tools for Technology Transfer, pages 1–16, 6 2017.
Bibtex Entry:
@Article{fellner2017greedy,
author = {Fellner, Andreas and Woltzenlogel Paleo, Bruno},
title = {Greedy pebbling for proof space compression},
journal = {International Journal on Software Tools for Technology Transfer},
year = {2017},
pages = {1--16},
month = {6},
issn = {1433-2779},
doi = {10.1007/s10009-017-0459-0},
url = {http:http://doai.io/10.1007/s10009-017-0459-0},
}