-H.W. Güsgen/J. Hertzberg: A Perspective of Constraint-Based Reasoning, Subseries LNAI, Springer-Verlag 1992