Kovásznai, Gergely. “Linear Clause Generation by Tableaux and DAGs”. Teaching Mathematics and Computer Science, vol. 5, no. 1, June 2007, pp. 109-18, https://doi.org/10.5485/TMCS.2007.0147.