@book(SCookPNguyen:logicalFoundationsProofComplex,
 author       = {Stephen Cook and Phuong Nguyen},
 year         = {2010},
 title        = {Logical Foundations of Proof Complexity},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511676277},
)
@book(CoriEtAl:mathlogic1,
 author       = {Ren\'e Cori and Daniel Lascar and Donald H.\ Pelletier},
 year         = {2000},
 title        = {Mathematical logic: a course with exercises; Pt. 1: Propositional calculus, Boolean algebras, predicate calculus},
 publisher    = {Oxford University Press},
)
@article(WDowlingJGallier:linearTestingSatHorn,
 author       = {William F.\ Dowling and Jean H.\ Gallier},
 year         = {1984},
 title        = {Linear-time algorithms for testing the satisfiability of propositional {H}orn formulae},
 journal      = {Journal of Logic Programming},
 volume       = {1},
 number       = {3},
 pages        = {267--284},
 doi          = {10.1016/0743-1066(84)90014-1},
)
@book(JGallier:lics,
 author       = {Jean H.\ Gallier},
 year         = {1987},
 title        = {Logic for Computer Science: Foundations of Automatic Theorem Proving},
 publisher    = {Wiley},
 doi          = {10.2307/2275035},
)
@book(MHedman:firstCourseLogic,
 author       = {Shawn Hedman},
 year         = {2004},
 title        = {A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity},
 publisher    = {Oxford University Press},
 doi          = {10.2178/bsl/1203350881},
)
@article(Horn:sentences-JSL,
 author       = {Alfred Horn},
 year         = {1951},
 title        = {On Sentences Which are True of Direct Unions of Algebras},
 journal      = {Journal of Symbolic Logic},
 volume       = {16},
 number       = {1},
 pages        = {14--21},
 doi          = {10.2307/2268661},
)
@book(MHuthMRyan:lics,
 author       = {Michael Huth and Mark Ryan},
 year         = {2004},
 title        = {Logic in Computer Science - Modelling and Reasoning about Systems (2. ed.)},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511810275},
)
@article(Tarksi:fixed-points,
 author       = {Alfred Tarski},
 year         = {1955},
 title        = {A Lattice-Theoretical Fixpoint Theorem and its Applications},
 journal      = {Pacific Journal of Mathematics},
 volume       = {5},
 number       = {2},
 pages        = {285--309},
 doi          = {10.2140/pjm.1955.5.285},
)