Vitalsource Technologies, Inc. A Computational Logic Handbook