Return to Article Details Efficiency of Depth-Restricted Substitution Rules Download Download PDF