@article{ZNSL_1995_220_a7,
     author = {Regimantas Pliu\v{s}kevi\v{c}ius},
     title = {Saturated calculus for {Horn-like} sequents of a~complete class of a~linear temporal first order logic},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {123--144},
     publisher = {mathdoc},
     volume = {220},
     year = {1995},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1995_220_a7/}
}