On closing the inopportune gap with consistency transformation and iterative refinement

• Mario João Jr. ,

  Roles Conceptualization, Formal analysis, Investigation, Methodology, Software, Validation, Visualization, Writing – original draft

  * E-mail: junior@lampada.uerj.br

  Affiliations Medical Sciences College, State University of Rio de Janeiro, Rio de Janeiro, Rio de Janeiro, Brazil, Institute of Computing, Fluminense Federal University, Niterói, Rio de Janeiro, Brazil

  https://orcid.org/0000-0003-3329-1783

  ⨯
• Alexandre C. Sena,

  Roles Conceptualization, Methodology, Supervision, Validation, Writing – original draft, Writing – review & editing

  Affiliation Institute of Mathematics and Statistics, State University of Rio de Janeiro, Rio de Janeiro, Rio de Janeiro, Brazil

  ⨯
• Vinod E. F. Rebello

  Roles Conceptualization, Methodology, Supervision, Validation, Writing – original draft, Writing – review & editing

  Affiliation Institute of Computing, Fluminense Federal University, Niterói, Rio de Janeiro, Brazil

  ⨯