  In this article we give a systematic definition of the recently introduced
spin foam models for four dimensional quantum gravity reviewing the main
results on their semiclassical limit on fixed discretizations.
