@incollection{Giese07KeY,
  author = {Martin Giese},
  title = {First-Order Logic},
  pages = {21-68},
  editor = {Bernhard Beckert and Reiner H\"ahnle and Peter H. Schmitt},
  booktitle = {Verification of Object-Oriented Software: 
 The {KeY} Approach},
   series        = {LNCS 4334},
   publisher     = {Springer-Verlag},
   year          = {2007}
}