Amalgamated products of groups: generation of normal forms 2011тезисы доклада