Knowledge based Approach for Formulating TRIZ Contradictions. (2015)