Gerasimov, A. S. “Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic”. Logic and Logical Philosophy, vol. 32, no. 2, Nov. 2022, pp. 269-18, doi:10.12775/LLP.2022.030.