Quartet based phylogeny reconstruction with answer set programming | IEEE Conference Publication | IEEE Xplore