\input zb-basic \input zb-ioport \iteman{io-port 70704837} \itemau{Wallace, Mark} \itemti{G12 - towards the separation of problem modelling and problem solving} \itemso{CPAIOR, 8-10 (2009).} \itemcc{} \itemut{} \itemli{doi:10.1007/978-3-642-01929-6\_2} \end