Mitochondrial portraits of human populations using median networks, Genetics, pp.141-743, 1995. ,
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
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
Who is who in phylo- genetic networks: Articles, authors and programs ,
Handbook of Knowledge Representation, Foundations of Artificial Intelligence, 2007. ,
Phylogenetic Networks: Concepts, Algorithms and Applications, 2010. ,
DOI : 10.1017/CBO9780511974076
Combinatorial aspects of genome rearrangements and haplotype networks, 2008. ,
URL : https://hal.archives-ouvertes.fr/tel-00482196
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
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
The IDP system: a model expansion system for an extension of classical logic, Proc. 2nd LaSh, pp.153-165, 2008. ,