A rule-based algorithm can output valid surgical strategies in the treatment of AIS