K. Ragauskas and A. Birštunas, “Grupavimu paremtas tiesinės teiginių laiko logikos skaičiavimas”, LMR, vol. 65, no. A, pp. 18–24, Dec. 2024, doi: 10.15388/LMD.2024.37368.