@INPROCEEDINGS{MPB:PPDP2010:OnTPforPC,
AUTHOR = "Maria Paola Bonacina",
TITLE = "On theorem proving for program checking --
{H}istorical perspective and recent developments",
BOOKTITLE = "Proceedings of the Twelfth ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming (PPDP)",
EDITOR = "Maribel Fern{\`a}ndez",
PUBLISHER = "ACM Press",
PAGES = "1--11",
MONTH = "July",
YEAR = 2010}