Possibly because they hand-waved away a lot of formal specification of their solution. For example, there was no attempt to analyze the complexity of the gener

Possibly because they hand-waved away a lot of formal specification of their solution. For example, there was no attempt to analyze the complexity of the generated rules trees.