-M. Jampel/E. Freuder/M. Maher (Eds.): Over-Constrained Systems, Springer-Verlag 1996