author = {Martin Giese},
title = {{First-Order Logic}},
booktitle = {{Verification of Object-Oriented Software: The KeY Approach}},
language = {english},
series = {LNCS},
volume = {4334},
chapter = {2},
pages = {21--68},
publisher = {Springer-Verlag},
isbn_issn = {978-3-540-68977-5},
year = {2007},
editor = {Bernhard Beckert and Reiner Hähnle and Peter H. Schmitt},
refereed = {no},
length = {48}