A perspective of constraint-based reasoning - Güsgen, Hans Werner (Berlin ; New York : Springer-Verlag, 2012)