Proving Epistemic and Temporal Properties from Knowledge Based Programs. - Mario R. F. Benevides; Carla A. D. M. Delgado; Michel Carlini (SBIA, 2008)