@article{minclosed,
 author = {Peter G. Jeavons and Martin C. Cooper},
 title = {Tractable constraints on ordered domains},
 journal = {Artif. Intell.},
 volume = {79},
 number = {2},
 year = {1995},
 issn = {0004-3702},
 pages = {327--339},
 doi = {http://dx.doi.org/10.1016/0004-3702(95)00107-7},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
 }

@article{mincut,
 author = {Charles Semple and Mike Steel},
 title = {A supertree method for rooted trees},
 journal = {Discrete Appl. Math.},
 volume = {105},
 number = {1-3},
 year = {2000},
 issn = {0166-218X},
 pages = {147--158},
 doi = {http://dx.doi.org/10.1016/S0166-218X(00)00202-X},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }

@article{ancestral,
 author = {Charles Semple and Philip Daniel and Wim Hordijk and R.D.M. Page and Mike Steel},
 title = {Supertree algorithms for ancestral divergence dates and nested taxa},
 journal = {Bioinformatics},
 volume = {20},
 number = {15},
 year = {2004},
 issn = {1367-4803},
 pages = {2355--2360},
 doi = {http://dx.doi.org/10.1093/bioinformatics/bth246},
 publisher = {Oxford University Press},
 address = {Oxford, UK},
 }

@MastersThesis{conserved,
  author = 	 {Philip Daniel},
  title = 	 {Supertree Methods: Some New Approaches},
  school = 	 {Department of Mathematics and Statistics, University of Canterbury},
  year = 	 {2003},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{birds,
  author = 	 {M. Kennedy and R.D.M. Page},
  title = 	 {Seabird supertrees: Combining partial estimates of procellariiform phylogeny},
  journal = 	 {The Auk},
  year = 	 {2002},
  OPTkey = 	 {},
  volume = 	 {69},
  OPTnumber = 	 {},
  pages = 	 {88-108},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InCollection{schultereview,
    author = {Christian Schulte and Mats Carlsson},
    publisher = {Elsevier},
    year = {2006},
    title = {Finite domain constraint programming systems},
    booktitle = {Handbook of constraint programming},
    note = {Chapter 14}
}

@InCollection{boundsz,
    author = {Christian Bessi\`ere},
    publisher = {Elsevier},
    year = {2006},
    title = {Constraint propagation},
    booktitle = {Handbook of constraint programming},
    note = {Chapter 3}
}

@Article{extlimits,
  author = {Magnus Bordewich and Gareth Evans and Charles Semple},
  title = {Extending the limits of supertree methods},
  journal = {Annals of combinatorics},
  year = {2006},
  volume = {10},
  pages = {31-51}
}

@book{rosen,
 author = {Kenneth H. Rosen},
 title = {Discrete Mathematics and Its Applications},
 year = {1996},
 isbn = {0070539650},
 publisher = {McGraw-Hill, Inc.},
 address = {New York, NY, USA},
}

@inproceedings{supertreeprogress,
	      Author = {Prosser,P.},
	      Pages =
	      {75-82},
	       booktitle = {WCB06 - Workshop on Constraint Based Methods for Bioinformatics},
               Title = {Supertree construction with constraint programming: recent progress and new challenges}, 
	       Year = {2006}}

@article{breakup,
 author = {Meei Pyng Ng and Nicholas C. Wormald},
 title = {Reconstruction of rooted trees from subtrees},
 journal = {Discrete Appl. Math.},
 volume = {69},
 number = {1-2},
 year = {1996},
 issn = {0166-218X},
 pages = {19--31},
 doi = {http://dx.doi.org/10.1016/0166-218X(95)00074-2},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }

@inproceedings{gentsuper,
	      Author = {I.P. Gent and P. Prosser and B.M. Smith and W. Wei},
	      Pages =
	      {837-841},
	       booktitle = {Principles and Practice of Constraint Programming
		  
		  },
                          Title = {Supertree Construction with Constraint Programming}, 
                          ISBN =
	      {0302-9743},
	      abstract = {  
		    
		  },Publisher =
	      {Springer},
	      Year = {2003}}

@book{gusfield,
 author = {Dan Gusfield},
 title = {Algorithms on strings, trees, and sequences: computer science and computational biology},
 year = {1997},
 isbn = {0-521-58519-8},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
 }

@book{ancestors,
  author = 	 {Richard Dawkins and Yan Wong}, 
  title = 	 {The Ancestor's Tale},
  publisher = 	 {Weidenfeld and Nicholson},
  year = 	 2004
}

@ARTICLE{bs,
        AUTHOR             = {D. Bryant and M. Steel},
        JOURNAL            = {Advances in Applied Mathematics},
        PAGES              = {425-453},
        TITLE              = {{Extension Operations on Sets of Leaf-labeled Trees}},
        VOLUME             = {16},
        YEAR               = {1995}
}

@ARTICLE{notrees,
        AUTHOR             = {Joseph Felsenstein},
        JOURNAL            = {Systematic Zoology},
        PAGES              = {27-33},
        TITLE              = {{The Number of Evolutionary Trees}},
        VOLUME             = {27},
        YEAR               = {1978}
}

@ARTICLE{js,
        AUTHOR             = {John Sourdis},
        JOURNAL            = {Bulletin of Mathematical Biology},
        PAGES              = {535-543},
        TITLE              = {{A method for numbering binary rooted and rooted phylogenies and their hypothetical taxonomic units}},
        VOLUME             = {47},
        Number             = {4},
        YEAR               = {1985}
}

@ARTICLE{jr,
        AUTHOR             = {F. James Rohlf},
        JOURNAL            = {Bulletin of Mathematical Biology},
        PAGES              = {33-40},
        TITLE              = {{Numbering binary trees with labeled terminal vertices}},
        VOLUME             = {45},
        Number             = {1},
        YEAR               = {1983}
}

@ARTICLE{bd98,
        AUTHOR             = {Sebastian B\"ocker and Andreas W.M. Dress},
        JOURNAL            = {Advances in Mathematics},
        PAGES              = {105-125},
        TITLE              = {{Recovering Symbolically Dates, Rooted Trees from Symbolic Ultrametrics}},
        VOLUME             = {138},
        Number             = {1},
        YEAR               = {1998}
}


@ARTICLE{assu,
        AUTHOR             = {A.V. Aho and Y. Sagiv and T.G. Szymanski and J.D. Ullman},
        JOURNAL            = {SIAM J. Comput},
        PAGES              = {405-421},
        TITLE              = {Inferring a tree from lowest common ancestors with an application 
                               to the optimization of relational expressions},
        VOLUME             = {10},
        NUMBER             = {3},
        YEAR               = {1981}
}


@BOOK{DG,
        AUTHOR             = {Dan Gusfield},
        PUBLISHER          = {Cambridge University Press},
        TITLE              = {{Algorithms on Strings, Trees, and Sequences}},
        YEAR               = {1997}
}


@ARTICLE{rp,
        AUTHOR             = {R.D.M. Page},
        TITLE              = {Modified mincut supertrees},
        JOURNAL            = {WABI 2001, Workshop on Algorithms in BioInformatics},
        YEAR               = {2002}
}

@BOOK{rbf,
        TITLE              = {Utopia or Oblivion},
        AUTHOR             = {R. Buckminster Fuller},
        YEAR               = {1969},
        PUBLISHER          = {Pelican Books}
}

@BOOK{Darwin,
        TITLE              = {The Origin of Species},
        AUTHOR             = {C.R. Darwin},
        YEAR               = {1859},
        PUBLISHER          = {John Murray, London}
}

@book{GJ,
    author = "Michael. R. Garey and David S. Johnson",
    title = "Computers and Intractability: A Guide to the Theory of NP-Completeness",
    publisher = "W.H. Freeman",
    year = "1979"
}


@book{tsang,
    author = "Edward Tsang",
    title = "Foundations of Constraint Satisfaction",
    publisher = "Academic Press",
    year = "1993"
}

@book{cpHandbook,
    author = "Francesca Rossi and Peter van Beek and Toby Walsh",
    title = "Handbook of Constraint Programming",
    publisher = "Elsevier",
    year = "2007"
}

@misc{choco,
    author = "Choco",
    title = "{http://www.choco-constraints.net/} Home of the CHOCO constraint programming system",
    year = "2008"}

@book{bd,
    author = {Sebastian B\"ocker and Andreas W.M. Dress},
    title = "Symbolic Ultrametrics",
    publisher = {33rd Winter Seminar, Molecular Biology and
                 Biophysical Chemistry of the Cell,  Klosters, Switzerland},
    year = 1998}

@misc{ilog,
    author = "ILOG",
    title = "{http://www.ilog.com}"}

@inproceedings{br97,
author = "C. Bessi\`ere and J-C R\'egin",
title = "Arc Consistency for General Constraint Networks: Preliminary Results",
booktitle = "Proceedings of IJCAI'97",
pages = "398--404",
year = 1997}

@inproceedings{sac97,
author = "R. Debruyne and C. Bessi\`ere",
title = "Some practicable filtering techniques for the constraint satisfaction problem",
booktitle = "Proceedings of IJCAI'97",
pages = "412--417",
year = 1997}

@BOOK{edward,
        AUTHOR             = {E.P.K. Tsang},
        PUBLISHER          = {Academic Press},
        TITLE              = {Foundations of Constraint Satisfaction},
        YEAR               = {1993}
}

@BOOK{KR,
        AUTHOR             = {Kenneth H. Rosen},
        PUBLISHER          = {McGraw-Hill International Editions},
        TITLE              = {{Discrete Mathematics and Its Applications}},
        YEAR               = {1999}
}

@article{thorley,
      author = {Joseph L. Thorley},
      title  = {Cladistic Information, leaf Stability and Supertree Construction},
      journal = {PhD Thesis, University of Bristol, Department of Biological Sciences},
      year = 2000}


@article{treeView,
         author = {R.D.M. Page},
         year = 1996,
         title = {{TREEVIEW}: An application to display phylogenetic trees on personal computers},
         journal = {Computer Applications in the Biosciences},
         volume = 12,
         pages = {357-358}} 

@ARTICLE{schroder,
        AUTHOR             = {E. Schr\"oder},
        JOURNAL            = {Zeit. f\"ur Math. Phys.},
        PAGES              = {361-376},
        TITLE              = {{Vier combinatorische probleme}},
        VOLUME             = {15},
        YEAR               = {1870}
}

@ARTICLE{auk,
        AUTHOR             = {M. Kennedy and R.D.M. Page},
        JOURNAL            = {The Auk, A Quarterly Journal of Ornithology},
        PAGES              = {88-108},
        TITLE              = {{Seabird supertrees: Combining partial estimates of 
                              procellariiform phylogeny}},
        VOLUME             = {119},
        YEAR               = {2002}
}

@ARTICLE{conTree,
        AUTHOR             = {M. Constatinescu and D. Sankoff},
        JOURNAL            = {Journal of Classification},
        PAGES              = {349-356},
        TITLE              = {{Tree enumeration modulo a consensus}},
        VOLUME             = {3},
        YEAR               = {1986}
}

@Article{AC3,
  author = 	 {A.K. Mackworth},
  title = 	 {Consistency in networks of relations},
  journal = 	 {Artificial Intelligence},
  year = 	 {1977},  
  volume = 	 {8},
  pages = 	 {99-118}
}

@inproceedings{lhomme,
	      Author = {Olivier Lhomme},
	      Pages =
	      {904-908},
	       booktitle = {Principles and Practice of Constraint Programming},
                          Title = {An Efficient Filtering Algorithm for Disjunction of Constraints}, 
                          ISBN =
	      {0302-9743},
	      abstract = {  
		    
		  },Publisher =
	      {Springer},
	      Year = {2003}}

@Article{vsd98,
  author = 	 {P. Van Hentenryck and V.A. Saraswat and Y. Deville},
  title = 	 {Design, implementation, and evaluation of the constraint language cc(FD)},
  journal = 	 {Journal of Logic Programming},
  year = 	 {1998},  
  volume = 	 {37},
  pages = 	 {139-164}
}

@InProceedings{sac,
  author = 	 {P. Prosser and K. Stergiou and T. Walsh},
  title = 	 {{Singleton Consistencies}},
  booktitle = 	 {Proceedings of CP'00},
  pages = 	 {353-368},
  year =	 2000
}

@book{tol,
    author = {O.R.P. Bininda-Emonds},
    year = {2004},
    title = {Phylogenetic Supertrees: Combining information to reveal the tree of life},
    publisher = {Springer}
}

@BOOK{edward,
        AUTHOR             = {E.P.K. Tsang},
        PUBLISHER          = {Academic Press},
        TITLE              = {Foundations of Constraint Satisfaction},
        YEAR               = {1993}
}

@InProceedings{zeroOne,
  author = 	 {P. Prosser and E. Selensky},
  title = 	 {{A study of encodings of constraint satisfaction problems with 0/1 variables}},
  booktitle = 	 {Recent Advances in Constraints. Joint ERCIM/CologNet International Workshop on Constraint Solving 
                  and Constraint Logic Programming},
  pages = 	 {121-131},
  year =	 2003
}

@article{sciToL,
author = {Elizabeth Pennisi},
title = {{Modernizing the Tree of Life}},
journal = {Science},
volume = {300},
year = {2003},
pages = {1692-1697}}

@article{Mace,
author = {Gorgina M. Mace and John L. Gittleman and Andy Purvis},
title = {{Preserving the Tree of Life}},
journal = {Science},
volume = {300},
year = {2003},
pages = {1707-1709}}


@MastersThesis{moore,
  author = 	 {Neil Moore},
  title = 	 {Species Trees and the Ultrametric Constraint},
  school = 	 {Department of Computing Science, University of Glasgow},
  year = 	 {2007},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InCollection{pagechapt,
   author = {R.D.M. Page},
  editor = 	 {Olaf Bininda-Emonds},
publisher = {Computational Biology Series Kluwer},
    year = {2004},
    title = {Taxonomy, supertrees, and the Tree of Life},
    booktitle = {Phylogenetic Supertrees: Combining information to reveal the tree of life},
    pages = {247-265}
}

@InCollection{sempledanielchapt,
   author = {Philip Daniel and Charles Semple},
  editor = 	 {Olaf Bininda-Emonds},
publisher = {Computational Biology Series Kluwer},
    year = {2004},
    title = {Supertree algorithms for nested taxa},
    booktitle = {Phylogenetic Supertrees: Combining information to reveal the tree of life},
    pages = {151-171}
}

@InCollection{bryantsemplesteelchapt,
   author = {David Bryant and Charles Semple and Mike Steel},
  editor = 	 {Olaf Bininda-Emonds},
publisher = {Computational Biology Series Kluwer},
    year = {2004},
    title = {Supertree methods for ancestral divergence dates and other applications},
    booktitle = {Phylogenetic Supertrees: Combining information to reveal the tree of life},
    pages = {151-171}
}

@inproceedings{quickXplain,
	      Author = {Ulrich Junker},
	      Pages = {167-172},
	      booktitle = {Proceedings AAAI2004},
              Title = {{QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems}}, 
	      Year = {2004}}

@article{aij07,
title = {Determining the consistency of partial tree descriptions},
author = {Manuel Bodirsky and Martin Kutz},
journal = {Artificial Intelligence},
volume = {171},
year = {2007},
pages = {185-196}}

@Misc{tolweb,
  OPTkey = 	 {},
  author = 	 {D.R. Maddison and K.-S. Schulz},
  title = 	 {Tree of Life web project},
  howpublished = {\url{http://www.tolweb.org/tree/}},
  OPTmonth = 	 {},
  year = 	 {2007},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inproceedings{ ac3complexityA,
    author = "Zhang Yuanlin and Roland H. C. Yap",
    title = "Makingg {AC}-3 an Optimal Algorithm",
    booktitle = "{IJCAI}",
    pages = "316-321",
    year = "2001",
    url = "citeseer.ist.psu.edu/zhang01making.html" }

@inproceedings{ac3complexityB,
    author = "C. Bessi\`ere and J-C R\'egin",
    title = "Refining the basic constraint propagation algorithm",
    booktitle = "{IJCAI}",
    pages = "309-315",
    year = "2001"}

@Misc{polytomies,
  OPTkey = 	 {},
  author = 	 {Douglas J. Eernisse},
  title = 	 {Polytomies},
  howpublished = {\url{http://biology.fullerton.edu/biol404/phylo/polytomies.html}},
  OPTmonth = 	 {},
  year = 	 {2007},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{janczewski,
 author = {D.N. Janczewski and W.S. Modi and J.C. Stephens and S.J. O'Brien},
 title = {{Molecular evolution of mitochondrial 12S RNA and Cytochrome b sequences in the pantherine lineage of Felidae}},
 journal = {Mol. Biol. Evol.},
 volume = {12},
 year = {1995},
 pages = {690--707}
 }

@Misc{newick,
  OPTkey = 	 {},
  author = 	 {Joseph Felsenstein},
  title = 	 {{The Newick tree format}},
  howpublished = {\url{http://evolution.genetics.washington.edu/phylip/newicktree.html}},
  OPTmonth = 	 {},
  year = 	 {2007},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Misc{supertree,
  OPTkey = 	 {},
  author = 	 {Neil Moore and Patrick Prosser},
  title = 	 {{Supertree CPBuild}},
  howpublished = {\url{http://www.dcs.gla.ac.uk/~pat/supertrees}},
  OPTmonth = 	 {},
  year = 	 {2007},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@INPROCEEDINGS{lds, 
  author = {William D. Harvey and Matthew L. Ginsberg},  
  year = 1995,
  title = {{Limited Discrepancy Search}},
  booktitle = {Proceedings {IJCAI'95}}
}

@article{ac5,
author = "P. van Hentenryck and Y. Deville and C-M. Teng",
title = "A generic arc-consistency algorithm and its specializations",
journal = "Artificial Intelligence",
volume = 57,
pages = "291-321", 
year = 1992}

@inproceedings{smallTSP,
    author = {Yves Caseau and Francois Laburthe},
    title = {{Solving small TSPs with constraints}},
    booktitle = {Proceedings International Conference on Logic Programming},
    pages = {1--15},
    year = 1997
}

@INPROCEEDINGS{allDiff, 
  author = {J-C. R\'{e}gin},  
  year = 1994,
  title = {{A filtering algorithm for constraints of difference in CSP's}},
  pages = {362--367},
  booktitle = {Proceedings {AAAI'94}}
}

@article{edgeFinding,
author = "J. Carlier and E. Pinson",
title = "Adjustment of heads and tails for the jobshop scheduling problem",
journal = "European Journal of Operational Research",
volume = 78,
pages = "146--161", 
year = 1994}

@Article{treeConstraint,
  title = {Combining Tree Partitioning, Precedence, and Incompatibility Constraints},
  author = {Nicolas Beldiceanu and Pierre Flener and Xavier Lorca},
  journal = {Constraints},
  year = {2008},
  volume = {13},
  issue  = {4},
  pages = {1--31}
}

@Article{asp,
  title = {Quartet-based Phylogeny Reconstruction with Answer Set Programming},
  author = {Gang Wu and Jia-Huai You and Guohui Lin},
  journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics},
  year = {2007},
  volume = {4},
  issue  = {1},
  pages = {139--152}
}

@misc{treeBase,
    author = {{TreeBASE}},
    title = {{http://www.treebase.org/} {TreeBASE: a database of phylogenetic knowledge}},
    year = 2003}

@misc{cpbuild,
    author = {{CPBuild}},
    title = "{http://www.dcs.gla.ac.uk/pat/supertrees/} Constraint Programming supertree construction"}

@Misc{cpTut,
  OPTkey = 	 {},
  author = 	 {Barbara M. Smith},
  title = 	 {{A Tutorial on Constraint Programming}},
  howpublished = {{Technical Report 95.14, University of Leeds}},
  OPTmonth = 	 {},
  year = 	 {1995},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inproceedings{mac,
author = "D. Sabin and E.C. Freuder",
title = "Contradicting conventional wisdom in constraint satisfaction",
booktitle = "Proceedings of ECAI-94",
pages = "125-129",
year = 1994}

@inproceedings{rootedTree,
	      Author = {P. Prosser and C. Unsworth},
	       booktitle = {{17th ECAI Workshop on Modelling and Solving Problems with Constraints}},
               Title = {{Rooted Tree and Spanning Tree Constraints}}, 
	       Year = {2006}}
@PhDThesis{dooms,
      author = {Gregoire Dooms},
      title  = {The CP(Graph) Computation Domain in Constraint Programming},
      school = {{Universit\'e catholique de Louvain, Facult\'e des sciences appliqu\'ees}},
      year = {2006}
}