J. Nyéky-Gaizler, “Demonstration of a problem-solving method”, Acta Cybern, vol. 12, no. 1, pp. 71-82, Jan. 1995.