(µ/ý ?ùWe dedicate this book to the memory of Ray Reiter (1939–2002)