G. Kovásznai, “Linear clause generation by Tableaux and DAGs”, Teach. Math. Comp. Sci., vol. 5, no. 1, pp. 109–118, Jun. 2007, doi: 10.5485/TMCS.2007.0147.