Multiple Decision Procedures door Shanti S. Gupta & S. Panchapakesan