Kovásznai G. Linear clause generation by Tableaux and DAGs. Teach. Math. Comp. Sci. [Internet]. 2007 Jun. 1 [cited 2024 Nov. 24];5(1):109-18. Available from: https://ojs.lib.unideb.hu/tmcs/article/view/14790