From 4GL Spreadsheet Computations to Constraint Model Definitions - A Development Process. - Boi Schaefer; Lothar Hotz; Kirsten David (ConfWS@ECAI, 2025)