H. J. Bandelt, P. Forster, B. C. Sykes, and A. M. Richards, Mitochondrial portraits of human populations using median networks, Genetics, pp.141-743, 1995.

I. Cassens, P. Mardulyn, and A. M. Milinkovitch, Evaluating Intraspecific ???Network??? Construction Methods Using Simulated Sequence Data: Do Existing Algorithms Outperform the Global Maximum Parsimony Approach?, Systematic Biology, vol.54, issue.3, pp.363-372, 2005.
DOI : 10.1080/10635150590945377

S. A. Cook, The complexity of theorem-proving procedures, Proceedings of the third annual ACM symposium on Theory of computing , STOC '71, pp.151-158, 1971.
DOI : 10.1145/800157.805047

P. Gambette, Who is who in phylo- genetic networks: Articles, authors and programs

C. P. Gomes, H. Kautz, A. Sabharwal, and A. B. Selman, Handbook of Knowledge Representation, Foundations of Artificial Intelligence, 2007.

D. H. Huson, R. Rupp, and A. C. Scornavacca, Phylogenetic Networks: Concepts, Algorithms and Applications, 2010.
DOI : 10.1017/CBO9780511974076

A. Labarre, Combinatorial aspects of genome rearrangements and haplotype networks, 2008.
URL : https://hal.archives-ouvertes.fr/tel-00482196

M. Mari¨enmari¨-mari¨en, J. Wittocx, M. Denecker, A. M. Bruynooghe, and S. Id-), SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions, Proc. 11th SAT, pp.211-224, 2008.
DOI : 10.1007/978-3-540-79719-7_20

T. J. Schaefer, The complexity of satisfiability problems, Proceedings of the tenth annual ACM symposium on Theory of computing , STOC '78, pp.216-226, 1978.
DOI : 10.1145/800133.804350

J. Wittocx, M. Mari¨enmari¨, A. M. Mari¨en, and . Denecker, The IDP system: a model expansion system for an extension of classical logic, Proc. 2nd LaSh, pp.153-165, 2008.