Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка Р. Плюшкявичюс — 1995 Zapiski naucnych seminarov POMI