Исследование и оптимизация условных систем переписывания на основе продукционно-логической моделидоклад на конференции