Constructing Camin-Sokal Phylogenies Via Answer Set Programming. - Jonathan Kavanagh; David G. Mitchell; Eugenia Ternovska; Ján Manuch; Xiaohong Zhao; Arvind Gupta (LPAR, 2006)