K. Ragauskas ir A. Birštunas, „Grupavimu paremtas tiesinės teiginių laiko logikos skaičiavimas“, LMR, t. 65, nr. A, p. 18–24, gruodž. 2024, doi: 10.15388/LMD.2024.37368.