An algorithm for induction of decision rules consitent with the dominance principle