1. D. R. Brooks, R. L. Mayden, and D. A. McLennan. Phylogeny and biodiversity: Conserving our evolutionary legacy. Trends in Ecology and Evolution, 7:55--59, 1992.

2. D. R. Brooks and D. A. McLennan. Phylogeny, Ecology, and Behavior: A Research Program in Comparative Biology. Univ. Chicago Press, 1991.

3. J. H. Camin and R. R. Sokal. A method for deducing branching sequences in phylogeny. Evolution, 19:311--326, 1965.

4. R. M. Chandler. Phylogenetic analysis of the alcids. PhD thesis, University of Kansas, 1990.

5. W. H. E. Day and D. Sankoff. Computational complexity of inferring phylogenies by compatibility. Systematic Zoology, 35(2):224--229, 1986.

6. I. Dyen, J. B. Kruskal, and P. Black. An Indoeuropean classification: a lexicostatistical experiment. Transactions of the American Philosophical Society, 82:1--132, 1992.

7. A. W. F. Edwards and L. L. Cavalli-Sforza. Reconstruction of evolutionary trees. Phenetic and Phylogenetic Classification, pp. 67--76, 1964.

8. E. Erdem and V. Lifschitz. Tight logic programs. TPLP, 3(4--5):499--518, 2003.

9. E. Erdem, V. Lifschitz, L. Nakhleh, and D. Ringe. Reconstructing the evolutionary history of Indo-European languages using answer set programming. In Proc. of PADL, pp. 160--176, 2003.

10. E. Erdem, V. Lifschitz, and D. Ringe. Temporal phylogenetic networks and answer set programming. In progress, 2004.

11. S. T. Erdo-gan and V. Lifschitz. Definitions in answer set programming. In Proc. of LPNMR, pp. 114--126, 2004.

12. J. Felsenstein. Numerical methods for inferring evolutionary trees. The Quarterly Review of Biology, 57:379--404, 1982.

13. J. Felsenstein. PHYLIP (Phylogeny inference package) version 3.6.

14. L. R. Foulds and R. L. Graham. The Steiner tree problem in Phylogeny is NP-complete. Advanced Applied Mathematics, 3:43--49, 1982.

15. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. of ICLP/SLP, pp. 1070--1080, 1988.

16. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365--385, 1991.

17. W. Hennig. Grundzuege einer Theorie der Phylogenetischen Systematik. Deutscher Zentralverlag, 1950.

18. E. P. Hoberg. Evolution and historical biogeography of a parasite-host assemblage: Alcataenia spp. (Cyclophyllidea: Dilepididae) in Alcidae (Chradriiformes). Canadian Journal of Zoology, 64:2576--2589, 1986.

19. E. P. Hoberg. Congruent and synchronic patterns in biogeography and speciation among seabirds, pinnipeds, ans cestodes. J. Parasitology, 78(4):601--615, 1992.

20. Yu. Lierler and M. Maratea. Cmodels-2: SAT-based answer sets solver enhanced to non-tight programs. In Proc. of LPNMR, pp. 346--350, 2004.

21. V. Lifschitz. Answer set programming and plan generation. AIJ, 138:39--54, 2002.

22. V. Lifschitz. Introduction to answer set programming. Unpublished draft, 2004.

23. J. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1984.

24. V.H. Mair, editor. The Bronze Age and Early Iron Age Peoples of Eastern Central Asia. Institute for the Study of Man, Washington, 1998.

25. J.P. Mallory. In Search of the Indo-Europeans. Thames and Hudson, London, 1989.

26. V. Marek and M. Truszczy’nski. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pp. 375--398, 1999.

27. J. W. Minett and W. S.-Y. Wang. On detecting borrowing: distance-based and character-based approaches. Diachronica, 20(2):289--330, 2003.

28. M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an efficient SAT solver. In Proc. of DAC, 2001.

29. L. Nakhleh, D. Ringe, and T. Warnow. Perfect phylogenetic networks: A new methodology for reconstructing the evolutionary history of natural languages. Language, 2005. To appear.

30. K. Rexova, D. Frynta, and J. Zrzav’y. Cladistic analysis of languages: Indo-European classification based on lexicostatistical data. Cladistics, 19:120--127, 2003.

31. D. Ringe, T. Warnow, and A. Taylor. Indo-European and computational cladistics. Transactions of the Philological Society, 100(1):59--129, 2002.

32. R.G. Roberts, R. Jones, and M.A. Smith. Thermoluminescence dating of a 50,000-year-old human occupation site in Northern Australia. Science, 345:153--156, 1990.

33. P. Simons, I. Niemel˜a, and T. Soininen. Extending and implementing the stable model semantics. AIJ, 138:181--234, 2002.

34. D.L. Swofford. PAUP* (Phylogenetic analysis under parsimony) version 4.0.

35. J.P. White and J.F. O'Connell. A Prehistory of Australia, New Guinea, and Sahul. Academic Press, New York, 1982.