Kovásznai, Gergely. 2005. “HyperS Tableaux - Heuristic Hyper Tableaux”. Acta Cybernetica 17 (2), 325-38. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3670.