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.