Vitalsource Technologies, Inc. Constraints In Computational Logics: Theory And Applications