Constraints in Computational Logics : Theory and Applications | lit.salon