Phylogenetic automata, pruning, and multiple alignment - Citation Graph | Papersgraph