PLIUŠKEVIČIUS, R. Decision procedure for first-order linear temporal logic with semi-periodic kemels. Lietuvos matematikos rinkinys, v. 42, n. spec., p. 481–489, 20 Dec.2002.