David A. McAllester. Socratic Sequent Systems. SIGART Bulletin, 2(3):98-100, 1991.
@article{McAllester91,
title = {Socratic Sequent Systems},
author = {David A. McAllester},
year = {1991},
researchr = {https://researchr.org/publication/McAllester91},
cites = {0},
citedby = {0},
journal = {SIGART Bulletin},
volume = {2},
number = {3},
pages = {98-100},
}