Calculation of Invariants Assertions. - Federico Flaviani (CLEI Selected Papers, 2017)

Inference of the Definition of the Predicate Transformer wp with Occurrences of the Predicate Domain Based on Denotational Semantics of GCL on ZF Set Theory. - Federico Flaviani (CLEI, 2018)

Criteria for Bracket Abstractions Design. - Federico Flaviani; Elias Tahhan-Bittar (CLEI Selected Papers, 2020)

Proof Assistant Based on Calculational Logic to Assist the Learning of Propositional Logic and Boolean Algebras. - Federico Flaviani; Walter Carballosa (CLEI, 2022)

Education-oriented Proof Assistant Based on Calculational Logic: Proof Theory Algorithms and Assessment Experience. - Federico Flaviani; Walter Carballosa (CLEI Electron. J., 2023)