Vitalsource Technologies, Inc. Generic Inference: A Unifying Theory For Automated Reasoning