A. S. Gerasimov, “Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic”, LLP, vol. 32, no. 2, pp. 269–318, Nov. 2022.