KOVÁSZNAI, Gergely. Linear clause generation by Tableaux and DAGs. Teaching Mathematics and Computer Science, [S. l.], v. 5, n. 1, p. 109–118, 2007. DOI: 10.5485/TMCS.2007.0147. Disponível em: https://ojs.lib.unideb.hu/tmcs/article/view/14790. Acesso em: 27 sep. 2024.