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