Erdös, P. L.; Steel, M. A.; Székely, L. A.; Warnow, T. J. Local Quartet Splits of a Binary Tree Infer All Quartet Splits Via One Dyadic Inference Rule. Comput. Inform. 2012, 16, 217-227.