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