Automated Reasoning and Its Applications: Essays in Honor of Larry Wos