@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" }