Erdös, P.L. et al. 2012. Local Quartet Splits of a Binary Tree Infer All Quartet Splits Via One Dyadic Inference Rule. COMPUTING AND INFORMATICS. 16, 2 (Mar. 2012), 217–227.