Kovásznai, G. 2007. Linear clause generation by Tableaux and DAGs. Teaching Mathematics and Computer Science. 5, 1 (Jun. 2007), 109–118. DOI:https://doi.org/10.5485/TMCS.2007.0147.