E. Erdem, V. Lifschitz, D. Ringe: "Temporal phylogenetic networks and logic programming"; Theory and Practice of Logic Programming, 6 (2006), 5; 539 - 558.