@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}