Automated Reasoning

These essays have been written to honor W. W. Bledsoe, a scientist who has contributed to such di...