@inproceedings{stefanescu-ciobaca-mereuta-moore-serbanuta-rosu-2014-rta,
    author = "\c{S}tef\u{a}nescu, Andrei and Ciob\^{a}c\u{a}, \c{S}tefan and Mereu\c{t}\u{a}, Radu and Moore, Brandon M. and \c{S}erb\u{a}nu\c{t}\u{a}, Traian Florin and Ro\c{s}u, Grigore",
    publisher = "Springer",
    doi = "http://dx.doi.org/10.1007/978-3-319-08918-8_29",
    title = "All-Path Reachability Logic",
    series = "LNCS",
    booktitle = "Proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA'14)",
    month = "July",
    volume = "8560",
    year = "2014",
    pages = "425-440"
}