Socratic Sequent Systems

David A. McAllester. Socratic Sequent Systems. SIGART Bulletin, 2(3):98-100, 1991.

Abstract

Abstract is missing.