Burkhard-Keller Trees in Erlang