@inproceedings{Ong:2009:FR:1606752.1607461,
    Address = {Washington, DC, USA},
    Author = {Ong, C.-H. Luke and Tzevelekos, Nikos},
    BookTitle = {Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science},
    File = {Functional Reachability - Ong, Tzevelekos (1) (0) - a - a - b.pdf},
    ISBN = {978-0-7695-3746-7},
    Pages = {286--295},
    Publisher = {IEEE Computer Society},
    Series = {LICS '09},
    Title = {Functional Reachability},
    URL = {http://dx.doi.org/10.1109/LICS.2009.48},
    Year = {2009},
    acmid = {1607461},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2009.48},
    date-added = {2013-06-14 12:20:30 +0000},
    date-modified = {2013-06-14 12:21:43 +0000},
    file-2 = {Functional Reachability - Ong, Tzevelekos (0) (0) - a - a - b.pdf},
    numpages = {10},
    doi = {10.1109/LICS.2009.48}
}

@inproceedings{Ong:2009:FR:1606752.1607461, Address = {Washington, DC, USA}, Author = {Ong, C.-H. Luke and Tzevelekos, Nikos}, BookTitle = {Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science}, File = {Functional Reachability - Ong, Tzevelekos (1) (0) - a - a - b.pdf}, ISBN = {978-0-7695-3746-7}, Pages = {286--295}, Publisher = {IEEE Computer Society}, Series = {LICS '09}, Title = {Functional Reachability}, URL = {http://dx.doi.org/10.1109/LICS.2009.48}, Year = {2009}, acmid = {1607461}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2009.48}, date-added = {2013-06-14 12:20:30 +0000}, date-modified = {2013-06-14 12:21:43 +0000}, file-2 = {Functional Reachability - Ong, Tzevelekos (0) (0) - a - a - b.pdf}, numpages = {10}, doi = {10.1109/LICS.2009.48} }