Eds. 2001. Handbook of Automated Reasoning (0)

by A ROBINSON, A VORONKOV