Kovásznai, G. 2005. HyperS tableaux - heuristic hyper tableaux. Acta Cybernetica. 17, 2 (Jan. 2005), 325-338.