Ragauskas, Kostas, ir Adomas Birštunas. „Grupavimu paremtas tiesinės teiginių laiko logikos skaičiavimas“. Lietuvos matematikos rinkinys, t. 65, nr. A, 2024 m.gruodžio, p. 18–24, https://doi.org/10.15388/LMD.2024.37368.