Быстров П. Секвенциальное исчисление формул с временными параметрами. ЛИ [Интернет]. 1 ноябрь 1995 г. [цитируется по 5 апрель 2025 г.];30:81-7. доступно на: https://logicalinvestigations.ru/article/view/47