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