Nyéky-Gaizler, J. et al. 1995. Demonstration of a problem-solving method. Acta Cybernetica. 12, 1 (Jan. 1995), 71–82.