Folwarczný, L. On protocols for monotone feasible interpolation. ACM Transactions on Computation Theory. 2023, 15(1-2), 2. ISSN 1942-3454. E-ISSN 1942-3462. Dostupné z: https://doi.org/10.1145/3583754.