P. L. Erdös, M. A. Steel, L. A. Székely, and T. J. Warnow, “Local Quartet Splits of a Binary Tree Infer All Quartet Splits Via One Dyadic Inference Rule”, Comput. Inform., vol. 16, no. 2, pp. 217–227, Mar. 2012.