Derivational Reasoning System

Bhaskar Bose, Derivation Systems, Inc., bose@dvsi.com