Kusper, Gábor, Csőke, Lajos, Kovásznai, Gergely (2008) Simplifying the propositional satisfiability problem by sub-model propagation Annales Mathematicae et Informaticae. 35. pp. 75-94. ISSN 1787-5021 (Print), 1787-6117 (Online)
Csőke, Lajos (1989) Sturm tételek gyakorlati alkalmazásáról. Az Egri Tanárképző Főiskola tudományos közleményei (Új sorozat 19/8. köt.). Tanulmányok a földrajztudományok köréből = Acta Academiae Paedagogicae Agriensis. pp. 39-46. ISSN 0239-1422