Temporal phylogenetic networks and logic programming · Study