@article{e67ccc047d044303b90499b1968242a3,
title = "Resource Control Graphs",
keywords = "Algorithms, Theory, Verification, Implicit computational complexity, non-size increasing computation, program analysis, size change termination, program termination",
author = "Jean-Yves Moyen",
year = "2009",
month = aug,
doi = "10.1145/1555746.1555753",
language = "English",
volume = "10",
journal = "ACM Transactions on Computational Logic",
issn = "1529-3785",
publisher = "Association for Computing Machinery, Inc.",
number = "4",
}