F. Reinmuth, “Holistic Inferential Criteria of Adequate Formalization”, Dialectica, vol. 999, no. 1, Apr. 2020.