G. Kovásznai, “HyperS tableaux - heuristic hyper tableaux”, Acta Cybern, vol. 17, no. 2, pp. 325-338, Jan. 2005.