Daniel R. Brooks Esra Erdem Selim T. Erdogan James W. Minett Donald Ringe Inferring Phylogenetic Trees Using Answer Set Programming. 471-511 2007 39 J. Autom. Reasoning 4 http://dx.doi.org/10.1007/s10817-007-9082-1 db/journals/jar/jar39.html#BrooksEEMR07