Monotonicity Properties in Automated Deduction.

Published in: Artificial and Mathematical Theory of Computation (1991)