Phylogenetic automata, pruning, and multiple alignment (2011-03-22T00:00:00.000000Z)