Quartet - based phylogeny reconstruction with answer set programming. - Wu, Gang