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.