Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics. - Andrei-Sebastian Buruiana; Stefan Ciobaca (WPTE@FSCD, 2018)

Operationally-based program equivalence proofs using LCTRSs. - Stefan Ciobaca; Dorel Lucanu; Andrei-Sebastian Buruiana (J. Log. Algebraic Methods Program., 2023)