Vlad Rusu, Andrei Arusoaie. Proving Reachability-Logic Formulas Incrementally. In Proc. 11th International Workshop on Rewriting Logic and its Applications. LNCS (to appear), Springer Verlag, 2016.
@inproceedings{RusuArusoaie2016,
title = {Proving Reachability-Logic Formulas Incrementally},
author = {Vlad Rusu and Andrei Arusoaie},
year = {2016},
researchr = {https://researchr.org/publication/RusuArusoaie2016},
cites = {0},
citedby = {0},
booktitle = {Proc. 11th International Workshop on Rewriting Logic and its Applications},
series = {LNCS (to appear)},
publisher = {Springer Verlag},
}