Формальный подход к решению задачи псевдоревантного поискадоклад на конференции