Kovásznai, Gergely. “HyperS Tableaux - Heuristic Hyper Tableaux”. Acta Cybernetica 17, no. 2 (January 1, 2005): 325-338. Accessed March 29, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3670.