Pliuškevičius, R. 2002. Decision procedure for first-order linear temporal logic with semi-periodic kemels. Lietuvos matematikos rinkinys. 42, spec. (Dec. 2002), 481–489. DOI:https://doi.org/10.15388/LMR.2002.32981.