Multiple Decision Procedures
Published: 2002
ISBN-13: 9780898719161