Decision procedure for first-order linear temporal logic with semi-periodic kemels - Pliuškevičius, Regimantas (Lietuvos matematikos rinkinys, 2002)
There is not abstract.