Ragauskas, Kostas, and Adomas Birštunas. “Grupavimu Paremtas tiesinės Teiginių Laiko Logikos skaičiavimas”. Lietuvos Matematikos Rinkinys, vol. 65, no. A, Dec. 2024, pp. 18–24, https://doi.org/10.15388/LMD.2024.37368.