Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings: First International Conference, CCL'94, Munich, Germany, September 7-9, 1994 - Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1994)