@InProceedings{10.1007/978-3-319-44802-2_8, author="Rusu, Vlad and Arusoaie, Andrei", editor="Lucanu, Dorel", title="Proving Reachability-Logic Formulas Incrementally", booktitle="Rewriting Logic and Its Applications", year="2016", publisher="Springer International Publishing", address="Cham", pages="134--151", isbn="978-3-319-44802-2" }