The Propositional Theory of Closure. - Aisling E. McCluskey; David W. McIntyre; W. S. Watson (Exp. Math., 2007)