@misc {IOPORT.70111240,
    author       = {Pliuskevicius, Regimantas},
    title        = {Complete sequential calculi for the first order symmetrical linear temporal logic with until and Since},
    howpublished = {LFCS, 382-393 (1992).},
    year         = {1992},
    doi          = {10.1007/BFb0023891},
    identifier   = {70111240},
}