V. A. Vardanân, “On the complexity of dynamic tests for logic functions”, Acta Cybern, vol. 11, no. 4, pp. 333-343, Jan. 1994.