Vitalsource Technologies, Inc. Logical And Computational Aspects Of Model-based Reasoning