David G. Mitchell, Faraz Hach, Raheleh Mohebali. Faster Phylogenetic Inference with MXG. In Nachum Dershowitz, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Volume 4790 of Lecture Notes in Computer Science, pages 423-437, Springer, 2007. [doi]
Abstract is missing.