Handbook of Automated Reasoning.
"Handbook of Automated Reasoning" の著者。