Interest Driven Suppositional Reasoning

John L. Pollock. Interest Driven Suppositional Reasoning. Journal of Automated Reasoning, 6(4):419-461, 1990.

Abstract

Abstract is missing.