Socratic Sequent Systems

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

No reviews for this publication, yet.