Meteor: Exploring Model Elimination Theorem Proving

Owen L. Astrachan. Meteor: Exploring Model Elimination Theorem Proving. Journal of Automated Reasoning, 13(3):283-296, 1994.

Abstract

Abstract is missing.