@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 12th ACM Symposium on Principles and Practice of Declarative Programming (PPDP)",
EDITOR = "Maribel Fern{\`a}ndez",
PAGES = "1--11",
PUBLISHER = "ACM Press",
MONTH = "July",
DOI = "10.1145/1836089.1836090",
YEAR = 2010}