Title: Constraints in Computational Logics: First International Conference, Ccl '94, Munich, Germany, September 7-9, 1994