Efficient Pebbling for List Traversal Synopses with Application to Program Rollback

Ely Porat
Theoretical Computer Science, 379, issue 3(2007), pp. 418-436
Google Scholar

Abstract