Proof Search and Countermodel Construction for iCK4. - Mauro Ferrari 002; Camillo Fiorentini; Paolo Giardini (CILC, 2025)