Handbook of Automated Reasoning (0)

by In Robinson, J A, A Voronkov