Ротапринтное издание доклада, представленного на конференцию по языкам символьной обработки в г. Пиза.
