%0 Journal Article
%A Regimantas Pliuškevičius
%T Saturated calculus for Horn-like sequents of a~complete class of a~linear temporal first order logic
%J Zapiski Nauchnykh Seminarov POMI
%D 1995
%P 123-144
%V 220
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1995_220_a7/
%G ru
%F ZNSL_1995_220_a7