Marco Cerami - Witnessed and quasi-witnessed models in first order ...