Ming Xi Tang An Inductive Learning System for Intelligent Design Support. 71-83 1995 SCAI db/conf/scai/scai1995.html#Tang95