Mazėtis, E.; Melničenko, G. Proofs Without Words. LMR 2023, 64 (B), 50–58. https://doi.org/10.15388/LMR.2023.33596.