Harrison, J.

Handbook of practical logic and automated reasoning