The general case was solved and implemented in Scratchpad, a precursor of Axiom, by Manuel Bronstein.
Общий случай был решён и реализован Мануэлем Бронштейном в Scratchpad (предшественнице системы Axiom).