Zohar Manna, Mark E. Stickel, Richard Waldinger. Monotonicity Properties in Automated Deduction. In Vladimir Lifschitz, editor, Artificial and Mathematical Theory of Computation, Papers in Honor of John McCarthy on the occasion of his sixty-fourth birthday. pages 261-280, Academic Press / Elsevier, 1991. [doi]
Abstract is missing.