Optimizing phylogenetic supertrees using answer set programming. - Laura Koponen; Emilia Oikarinen; Tomi Janhunen; Laura Säilä (Theory Pract. Log. Program., 2015)