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