| xxxx | - | Introduction to answer set programming - Lifschitz | :: | 1 |
| xxxx | - | Phylogenetic analysis under parsimony - PAUP | :: | 1 |
| xxxx | - | Phylogeny inference package - PHYLIP | :: | 1 |
| 2005 | - | Perfect Phylogenetic Networks: A New Methodology for Reconstructing the Evolutionary History of Natural Languages - Nakhleh,Ringe,Warnow | :: | 4 |
| 2004 | - | Temporal phylogenetic networks and answer set programming - Erdem,Lifschitz,Ringe | :: | 1 |
| 2004 | - | Cmodels-2: SAT-based answer sets solver enhanced to non-tight programs - Lierler,Maratea | :: | 1 |
| 2004 | - | Definitions in answer set programming - Erdo,Lifschitz | :: | 1 |
| 2003 | - | Reconstructing the evolutionary history of Indo-European languages using answer set programming - Erdem,Lifschitz,Nakhleh,Ringe | :: | 3 |
| 2003 | - | On detecting borrowing: distance-based and character-based approaches - Minett,Minett | :: | 1 |
| 2003 | - | Tight logic programs - Erdem,Lifschitz | :: | 2 |
| 2003 | - | Cladistic analysis of languages: Indo-European classification based on lexicostatistical data - Rexova,Frynta,Zrzavy | :: | 2 |
| 2002 | - | Extending and implementing the stable model semantics - Simons,Niemel,Soininen | :: | 1 |
| 2002 | - | Answer set programming and plan generation - Lifschitz | :: | 1 |
| 2002 | - | Indo-European and Computational Cladistics - Ringe,Warnow,Taylor | :: | 10 |
| 2001 | - | Chaff: Engineering an efficient SAT solver - Moskewicz,Madigan,Zhao,Zhang,Malik | :: | 1 |
| 1999 | - | Stable models and an alternative logic programming paradigm - Marek,Truszczynski | :: | 1 |
| 1998 | - | The Bronze Age and Early Iron Age Peoples of Eastern Central Asia - Mair | :: | 2 |
| 1992 | - | Transactions of the American Philosophical Society - Dyen,Kruskal,Indoeuropean | :: | 1 |
| 1992 | - | Phylogeny and biodiversity: Conserving our evolutionary legacy - Brooks,Mayden,McLennan | :: | 1 |
| 1991 | - | Phylogeny, Ecology, and Behavior: A Research Program in Comparative Biology - Brooks,McLennan | :: | 1 |
| 1991 | - | Classical negation in logic programs and disjunctive databases - Gelfond,Lifschitz | :: | 1 |
| 1990 | - | Phylogenetic analysis of the alcids - Chandler | :: | 1 |
| 1989 | - | In Search of the Indo-Europeans - Mallory | :: | 3 |
| 1988 | - | The stable model semantics for logic programming - Gelfond,Lifschitz | :: | 2 |
| 1986 | - | Evolution and historical biogeography of a parasite-host assemblage: Alcataenia spp - Hoberg | :: | 1 |
| 1986 | - | Computational complexity of inferring phylogenies by compatibility - Day,Sankoff | :: | 1 |
| 1984 | - | Foundations of Logic Programming - Lloyd | :: | 1 |
| 1982 | - | New Guinea, and Sahul - White,O'Connell | :: | 1 |
| 1982 | - | The Steiner tree problem in Phylogeny is NP-complete - Foulds,Graham | :: | 1 |
| 1982 | - | Numerical methods for inferring evolutionary trees - Felsenstein | :: | 2 |
| 1965 | - | A method for deducing branching sequences in phylogeny - Camin,Sokal | :: | 1 |
| 1964 | - | Reconstruction of evolutionary trees - Edwards,Cavalli-Sforza | :: | 1 |