Here is my summary of empirical decision tree software. I updated the information on CART to give Salford Systems address. There are many algorithms and programs for computing empirical decision trees. Exactly two branches from each nonterminal node. Cross-validation and pruning are used to determine size of tree.
Response variable can be quantitative or nominal.
Predictor variables can be nominal or ordinal, and continuous predictors are supported. Number of branches equals number of categories of predictor. Number of branches varies from two to the number of categories of predictor. AID, MAID, and XAID are for quantitative responses. FIRM comes in two varieties for categorical or continuous response.