О синтезе и сложности формул с ограниченной глубиной альтернированиядоклад на конференции