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