Kovásznai, G. Linear Clause Generation by Tableaux and DAGs. Teach. Math. Comp. Sci. 2007, 5 (1), 109-118. https://doi.org/10.5485/TMCS.2007.0147.