Kovásznai, Gergely. “Linear Clause Generation by Tableaux and DAGs”. Teaching Mathematics and Computer Science 5, no. 1 (June 1, 2007): 109–118. Accessed September 27, 2024. https://ojs.lib.unideb.hu/tmcs/article/view/14790.