Управление диалогом и логический вывод в конечных предикатах В.И. Левченко; А.А. Савинов Matematiceskie issledovanija