Alan Roberts, Antonios Symvonis. Potential-function-based Analysis of an off-line Heap Construction Algorithm. J. UCS, 6(2):240-255, 2000. [doi]
@article{RobertsS00, title = {Potential-function-based Analysis of an off-line Heap Construction Algorithm}, author = {Alan Roberts and Antonios Symvonis}, year = {2000}, url = {http://www.jucs.org/jucs_6_2/potential_functions_based_analysis}, tags = {rule-based, analysis}, researchr = {https://researchr.org/publication/RobertsS00}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {6}, number = {2}, pages = {240-255}, }