A. S. Gerasimov, „Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic”, LLP, t. 32, nr 2, s. 269–318, lis. 2022.