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