Constraint BasedWorld Modeling. - Daniel Göhring; Heinrich Mellmann; Kataryna Gerasymova; Hans-Dieter Burkhard (Fundam. Informaticae, 2008)