Jonathan Kavanagh David G. Mitchell Eugenia Ternovska Ján Manuch Xiaohong Zhao Arvind Gupta Constructing Camin-Sokal Phylogenies Via Answer Set Programming. 452-466 2006 conf/lpar/2006 LPAR http://dx.doi.org/10.1007/11916277_31 db/conf/lpar/lpar2006.html#KavanaghMTMZG06