Gerasimov, A. S. Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic. LLP 2022, 32, 269-318.