* Extended version of invited talk, delivered at the ISSAC'98 conference at Rostock, 13th - 15th August, 1998.