Strichman, Ofer: Decision Procedures