Vlad Rusu, Andrei Arosoaie. Proving Reachability-Logic Formulas Incrementally. 2016.
@inproceedings{RusuArosoaie2016, title = {Proving Reachability-Logic Formulas Incrementally}, author = {Vlad Rusu and Andrei Arosoaie}, year = {2016}, researchr = {https://researchr.org/publication/RusuArosoaie2016}, cites = {0}, citedby = {0}, }