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.
No references recorded for this publication.
No citations of this publication recorded.