Устранение операторов прошлого в сигнальной логикедоклад на конференции