@misc {IOPORT.70562145,
    author       = {Kochems, Jonathan and Ong, C. -H. Luke},
    title        = {Improved functional flow and reachability analyses using indexed linear tree grammars},
    howpublished = {RTA, 187-202 (2011).},
    year         = {2011},
    doi          = {10.4230/LIPIcs.RTA.2011.187},
    identifier   = {70562145},
}